home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Standards 1994 January / InfoMagic Standards - January 1994.iso / ccitt / 1988 / troff / 10_1_06.tro < prev    next >
Text File  |  1991-12-12  |  51KB  |  3,797 lines
  1. .rs
  2. .\" Troff code generated by TPS Convert from ITU Original Files
  3. .\"                 Not Copyright ( c) 1991 
  4. .\"
  5. .\" Assumes tbl, eqn, MS macros, and lots of luck.
  6. .TA 1c 2c 3c 4c 5c 6c 7c 8c
  7. .ds CH
  8. .ds CF
  9. .EQ
  10. delim @@
  11. .EN
  12. .nr LL 40.5P
  13. .nr ll 40.5P
  14. .nr HM 3P
  15. .nr FM 6P
  16. .nr PO 4P
  17. .nr PD 9p
  18. .po 4P
  19.  
  20. .rs
  21. \v | 5i'
  22. .ce 1000
  23. ANNEX\ C2
  24. .ce 0
  25. .ce 1000
  26. (to Recommendation Z.100)
  27. .sp 9p
  28. .RT
  29. .ce 0
  30. .ce 1000
  31. \fBSDL PR syntax summary\fR 
  32. .sp 1P
  33. .RT
  34. .ce 0
  35. .LP
  36. 1
  37.     \fIsystem\fR 
  38. .sp 1P
  39. .RT
  40. .LP
  41. .rs
  42. .sp 6P
  43. .ad r
  44. \fBFigure T1003240\(hy88, (N), p.\fR 
  45. .ad b
  46. .RT
  47. .sp 1P
  48. .LP
  49. 2
  50.     \fIdefinition\fR 
  51. .sp 9p
  52. .RT
  53. .LP
  54. .rs
  55. .sp 13P
  56. .ad r
  57. \fBFigure T1003250\(hy88, (N), p.\fR 
  58. .ad b
  59. .RT
  60. .sp 1P
  61. .LP
  62. 3
  63.     \fIdiagram\fR 
  64. .sp 9p
  65. .RT
  66. .PP
  67. Diagram is defined in GR syntax summary.
  68. .RT
  69. .sp 1P
  70. .LP
  71. 4
  72.     \fIsystem definition\fR  | (Basic SDL 2.4.1)
  73. .sp 9p
  74. .RT
  75. .LP
  76. .rs
  77. .sp 16P
  78. .ad r
  79. \fBFigure T1003260\(hy88, (N), p.\fR 
  80. .ad b
  81. .RT
  82. .LP
  83. .bp
  84. .sp 1P
  85. .LP
  86. 5
  87.     \fIblock definition\fR  | (Basic SDL 2.4.2)
  88. .sp 9p
  89. .RT
  90. .LP
  91. .rs
  92. .sp 42P
  93. .ad r
  94. \fBFigure T1003270\(hy88, (N), p.\fR 
  95. .ad b
  96. .RT
  97. .sp 1P
  98. .LP
  99. 6
  100.     \fItextual block reference\fR  | (Basic SDL 2.4.2)
  101. .sp 9p
  102. .RT
  103. .LP
  104. .rs
  105. .sp 2P
  106. .ad r
  107. \fBFigure T1003280\(hy88, (N), p.\fR 
  108. .ad b
  109. .RT
  110. .LP
  111. .bp
  112. .sp 1P
  113. .LP
  114. 7
  115.     \fIprocess definition\fR  | (Basic SDL 2.4.3)
  116. .sp 9p
  117. .RT
  118. .LP
  119. .rs
  120. .sp 47P
  121. .ad r
  122. \fBFigure T1003290\(hy88, (N), p.\fR 
  123. .sp 1P
  124. .RT
  125. .ad b
  126. .RT
  127. .LP
  128. .bp
  129. .sp 1P
  130. .LP
  131. 8
  132.     \fItextual process reference\fR  | (Basic SDL 2.4.3)
  133. .sp 9p
  134. .RT
  135. .LP
  136. .rs
  137. .sp 2P
  138. .ad r
  139. \fBFigure T1003300\(hy88, (N), p.\fR 
  140. .ad b
  141. .RT
  142. .sp 1P
  143. .LP
  144. 9
  145.     \fIvalid input signal set\fR 
  146. .sp 9p
  147. .RT
  148. .LP
  149. .rs
  150. .sp 3P
  151. .ad r
  152. \fBFigure T1003310\(hy88, (N), p.\fR 
  153. .ad b
  154. .RT
  155. .sp 1P
  156. .LP
  157. 10
  158.     \fIprocess body\fR  | (Basic SDL 2.4.3)
  159. .sp 9p
  160. .RT
  161. .LP
  162. .rs
  163. .sp 3P
  164. .ad r
  165. \fBFigure T1003320\(hy88, (N), p.\fR 
  166. .ad b
  167. .RT
  168. .sp 1P
  169. .LP
  170. 11
  171.     \fIsimple expression\fR 
  172. .sp 9p
  173. .RT
  174. .LP
  175. .rs
  176. .sp 3P
  177. .ad r
  178. \fBFigure T1003330\(hy88, (N), p.\fR 
  179. .ad b
  180. .RT
  181. .sp 1P
  182. .LP
  183. 12
  184.     \fIprocedure definition\fR  | (Basic SDL 2.3.4)
  185. .sp 9p
  186. .RT
  187. .LP
  188. .rs
  189. .sp 27P
  190. .ad r
  191. \fBFigure T1003340\(hy88, (N), p.\fR 
  192. .ad b
  193. .RT
  194. .LP
  195. .bp
  196. .sp 1P
  197. .LP
  198. 13
  199.     \fItextual procedure reference\fR  | (Basic SDL 2.3.4)
  200. .sp 9p
  201. .RT
  202. .LP
  203. .rs
  204. .sp 3P
  205. .ad r
  206. \fBFigure T1003350\(hy88, (N), p.\fR 
  207. .ad b
  208. .RT
  209. .sp 1P
  210. .LP
  211. 14
  212.     \fIchannel definition\fR  | (Basic SDL 2.5.1)
  213. .sp 9p
  214. .RT
  215. .LP
  216. .rs
  217. .sp 18P
  218. .ad r
  219. \fBFigure T1003360\(hy88, (N), p.\fR 
  220. .ad b
  221. .RT
  222. .sp 1P
  223. .LP
  224. 15
  225.     \fIsignal route definition\fR  | (Basic SDL 2.5.2)
  226. .sp 9p
  227. .RT
  228. .LP
  229. .rs
  230. .sp 14P
  231. .ad r
  232. \fBFigure T1003370\(hy88, (N), p.\fR 
  233. .ad b
  234. .RT
  235. .sp 1P
  236. .LP
  237. 16
  238.     \fIsignal definition\fR  | (Basic SDL 2.5.4)
  239. .sp 9p
  240. .RT
  241. .LP
  242. .rs
  243. .sp 4P
  244. .ad r
  245. \fBFigure T1003380\(hy88, (N), p.\fR 
  246. .ad b
  247. .RT
  248. .LP
  249. .bp
  250. .sp 1P
  251. .LP
  252. 17
  253.     \fIsignal list definition\fR  | (Basic SDL 2.5.5)
  254. .sp 9p
  255. .RT
  256. .LP
  257. .rs
  258. .sp 2P
  259. .ad r
  260. \fBFigure T1003390\(hy88, (N), p.\fR 
  261. .ad b
  262. .RT
  263. .sp 1P
  264. .LP
  265. 18
  266.     \fIvariable definition\fR  | (Basic SDL 2.6.1.1)
  267. .sp 9p
  268. .RT
  269. .LP
  270. .rs
  271. .sp 6P
  272. .ad r
  273. \fBFigure T1003400\(hy88, (N), p.\fR 
  274. .ad b
  275. .RT
  276. .sp 1P
  277. .LP
  278. 19
  279.     \fIview definition\fR  | (Basic SDL 2.6.1.2)
  280. .sp 9p
  281. .RT
  282. .LP
  283. .rs
  284. .sp 5P
  285. .ad r
  286. \fBFigure T1003410\(hy88, (N), p.\fR 
  287. .ad b
  288. .RT
  289. .sp 1P
  290. .LP
  291. 20
  292.     \fIview expression\fR  | (Data 5.5.4.4)
  293. .sp 9p
  294. .RT
  295. .LP
  296. .rs
  297. .sp 3P
  298. .ad r
  299. \fBFigure T1003420\(hy88, (N), p.\fR 
  300. .ad b
  301. .RT
  302. .sp 1P
  303. .LP
  304. 21
  305.     \fIstart\fR  | (Basic SDL 2.6.2)
  306. .sp 9p
  307. .RT
  308. .LP
  309. .rs
  310. .sp 3P
  311. .ad r
  312. \fBFigure T1003430\(hy88, (N), p.\fR 
  313. .ad b
  314. .RT
  315. .LP
  316. .bp
  317. .sp 1P
  318. .LP
  319. 22
  320.     \fIstate\fR  | (Basic SDL 2.6.3)
  321. .sp 9p
  322. .RT
  323. .LP
  324. .rs
  325. .sp 27P
  326. .ad r
  327. \fBFigure T1003440\(hy88, (N), p.\fR 
  328. .ad b
  329. .RT
  330. .sp 1P
  331. .LP
  332. 23
  333.     \fIinput\fR  | (Basic SDL 2.6.4)
  334. .sp 9p
  335. .RT
  336. .LP
  337. .rs
  338. .sp 9P
  339. .ad r
  340. \fBFigure T1003450\(hy88, (N), p.\fR 
  341. .ad b
  342. .RT
  343. .sp 1P
  344. .LP
  345. 24
  346.     \fIsave\fR  | (Basic SDL 2.6.5)
  347. .sp 9p
  348. .RT
  349. .LP
  350. .rs
  351. .sp 4P
  352. .ad r
  353. \fBFigureT1003460\(hy88, (N), p.\fR 
  354. .ad b
  355. .RT
  356. .LP
  357. .bp
  358. .sp 1P
  359. .LP
  360. 25
  361.     \fItransition\fR  | (Basic SDL 2.6.7)
  362. .sp 9p
  363. .RT
  364. .LP
  365. .rs
  366. .sp 36P
  367. .ad r
  368. \fBFigure T1003470\(hy88, (N), p.\fR 
  369. .ad b
  370. .RT
  371. .sp 1P
  372. .LP
  373. 26
  374.     \fInextstate\fR  | (Basic SDL 2.6.7.2.1)
  375. .sp 9p
  376. .RT
  377. .LP
  378. .rs
  379. .sp 3P
  380. .ad r
  381. \fBFigure T1003480\(hy88, (N), p.\fR 
  382. .ad b
  383. .RT
  384. .sp 1P
  385. .LP
  386. 27
  387.     \fIjoin\fR  | (Basic SDL 2.6.7.2.2)
  388. .sp 9p
  389. .RT
  390. .LP
  391. .rs
  392. .sp 2P
  393. .ad r
  394. \fBFigure T1003490\(hy88, (N), p.\fR 
  395. .ad b
  396. .RT
  397. .sp 1P
  398. .LP
  399. 28
  400.     \fIstop\fR  | (Basic SDL 2.6.7.2.3)
  401. .sp 9p
  402. .RT
  403. .LP
  404. .rs
  405. .sp 2P
  406. .ad r
  407. \fBFigure T1003500\(hy88, (N), p.\fR 
  408. .ad b
  409. .RT
  410. .LP
  411. .bp
  412. .sp 1P
  413. .LP
  414. 29
  415.     \fIreturn\fR  | (Basic SDL 2.6.7.2.4)
  416. .sp 9p
  417. .RT
  418. .LP
  419. .rs
  420. .sp 2P
  421. .ad r
  422. \fBFigure T1003510\(hy88, (N), p.\fR 
  423. .ad b
  424. .RT
  425. .sp 1P
  426. .LP
  427. 30
  428.     \fItask\fR  | (Basic SDL 2.7.1)
  429. .sp 9p
  430. .RT
  431. .LP
  432. .rs
  433. .sp 8P
  434. .ad r
  435. \fBFigure T1003520\(hy88, (N), p.\fR 
  436. .ad b
  437. .RT
  438. .sp 1P
  439. .LP
  440. 31
  441.     \fIcreate request\fR  | (Basic SDL 2.7.2)
  442. .sp 9p
  443. .RT
  444. .LP
  445. .rs
  446. .sp 4P
  447. .ad r
  448. \fBFigure T1003530\(hy88 , (N), p.\fR 
  449. .ad b
  450. .RT
  451. .sp 1P
  452. .LP
  453. 32
  454.     \fIprocedure call\fR  | (Basic SDL 2.7.3)
  455. .sp 9p
  456. .RT
  457. .LP
  458. .rs
  459. .sp 4P
  460. .ad r
  461. \fBFigure T1003540\(hy88, (N), p.\fR 
  462. .ad b
  463. .RT
  464. .sp 1P
  465. .LP
  466. 33
  467.     \fIoutput\fR  | (Basic SDL 2.7.4)
  468. .sp 9p
  469. .RT
  470. .LP
  471. .rs
  472. .sp 10P
  473. .ad r
  474. \fBFigure T1003550\(hy88, (N), p.\fR 
  475. .ad b
  476. .RT
  477. .LP
  478. .bp
  479. .sp 1P
  480. .LP
  481. 34
  482.     \fIdecision\fR  | (Basic SDL 2.7.5)
  483. .sp 9p
  484. .RT
  485. .LP
  486. .rs
  487. .sp 17P
  488. .ad r
  489. \fBFigure T1003560\(hy88, (N), p.\fR 
  490. .ad b
  491. .RT
  492. .sp 1P
  493. .LP
  494. 35
  495.     \fIanswer\fR  | (Basic SDL 2.7.5)
  496. .sp 9p
  497. .RT
  498. .LP
  499. .rs
  500. .sp 4P
  501. .ad r
  502. \fBFigure T1003570\(hy88, (N), p.\fR 
  503. .ad b
  504. .RT
  505. .sp 1P
  506. .LP
  507. 36
  508.     \fItimer definition\fR  | (Basic SDL 2.8)
  509. .sp 9p
  510. .RT
  511. .LP
  512. .rs
  513. .sp 5P
  514. .ad r
  515. \fBFigure T1003580\(hy88, (N), p.\fR 
  516. .ad b
  517. .RT
  518. .sp 1P
  519. .LP
  520. 37
  521.     \fIreset\fR  | (Basic SDL 2.8)
  522. .sp 9p
  523. .RT
  524. .LP
  525. .rs
  526. .sp 6P
  527. .ad r
  528. \fBFigure T1003590\(hy88, (N), p.\fR 
  529. .ad b
  530. .RT
  531. .sp 1P
  532. .LP
  533. 38
  534.     \fIset\fR  | (Basic SDL 2.8)
  535. .sp 9p
  536. .RT
  537. .LP
  538. .rs
  539. .sp 6P
  540. .ad r
  541. \fBFigure T1003600\(hy88, (N), p.\fR 
  542. .ad b
  543. .RT
  544. .LP
  545. .bp
  546. .sp 1P
  547. .LP
  548. 39
  549.     \fItimer active expression\fR  | (Data 5.5.4.5)
  550. .sp 9p
  551. .RT
  552. .LP
  553. .rs
  554. .sp 4P
  555. .ad r
  556. \fBFigure T1003610\(hy88, (N), p.\fR 
  557. .ad b
  558. .RT
  559. .sp 1P
  560. .LP
  561. 40
  562.     \fIend\fR 
  563. .sp 9p
  564. .RT
  565. .LP
  566. .rs
  567. .sp 3P
  568. .ad r
  569. \fBFigure T1003620\(hy88, (N), p.\fR 
  570. .ad b
  571. .RT
  572. .sp 1P
  573. .LP
  574. 41
  575.     \fIsignal list\fR 
  576. .sp 9p
  577. .RT
  578. .LP
  579. .rs
  580. .sp 11P
  581. .ad r
  582. \fBFigure T1003630\(hy88, (N), p.\fR 
  583. .ad b
  584. .RT
  585. .sp 1P
  586. .LP
  587. 42
  588.     \fIsort list\fR 
  589. .sp 9p
  590. .RT
  591. .LP
  592. .rs
  593. .sp 3P
  594. .ad r
  595. \fBFigure T1003640\(hy88, (N), p.\fR 
  596. .ad b
  597. .RT
  598. .sp 1P
  599. .LP
  600. 43
  601.     \fIdata definition\fR 
  602. .sp 9p
  603. .RT
  604. .LP
  605. .rs
  606. .sp 10P
  607. .ad r
  608. \fBFigure T1003650\(hy88, (N), p.\fR 
  609. .ad b
  610. .RT
  611. .sp 1P
  612. .LP
  613. 44
  614.     \fIinformal text\fR 
  615. .sp 9p
  616. .RT
  617. .LP
  618. .rs
  619. .sp 3P
  620. .ad r
  621. \fBFigure T1003660\(hy88, (N), p.\fR 
  622. .ad b
  623. .RT
  624. .LP
  625. .bp
  626. .sp 1P
  627. .LP
  628. 45
  629.     \fIactual parameters\fR 
  630. .sp 9p
  631. .RT
  632. .LP
  633. .rs
  634. .sp 4P
  635. .ad r
  636. \fBFigure T1003670\(hy88, (N), p.\fR 
  637. .ad b
  638. .RT
  639. .sp 1P
  640. .LP
  641. 46
  642.     \fIblock substructure definition\fR  | (Structural concepts
  643. 3.2.2)
  644. .sp 9p
  645. .RT
  646. .LP
  647. .rs
  648. .sp 22P
  649. .ad r
  650. \fBFigure T1003680\(hy88, (N), p.\fR 
  651. .ad b
  652. .RT
  653. .sp 1P
  654. .LP
  655. 47
  656.     \fIblock substructure reference\fR  | (Structural concepts 3.2.2)
  657. .sp 9p
  658. .RT
  659. .LP
  660. .rs
  661. .sp 3P
  662. .ad r
  663. \fBFigure T1003690\(hy88, (N), p.\fR 
  664. .ad b
  665. .RT
  666. .sp 1P
  667. .LP
  668. 48
  669.     \fIchannel connection\fR  | (Structural concepts 3.2.2)
  670. .sp 9p
  671. .RT
  672. .LP
  673. .rs
  674. .sp 4P
  675. .ad r
  676. \fBFigure T1003700\(hy88, (N), p.\fR 
  677. .ad b
  678. .RT
  679. .LP
  680. .bp
  681. .sp 1P
  682. .LP
  683. 49
  684.     \fIchannel to route connection\fR  | (Structural concepts
  685. 3.2.2)
  686. .sp 9p
  687. .RT
  688. .LP
  689. .rs
  690. .sp 4P
  691. .ad r
  692. \fBFigure T1003710\(hy88, (N), p.\fR 
  693. .ad b
  694. .RT
  695. .sp 1P
  696. .LP
  697. 50
  698.     \fIchannel substructure definition\fR  | (Structural concepts 3.2.3)
  699. .sp 9p
  700. .RT
  701. .LP
  702. .rs
  703. .sp 11P
  704. .ad r
  705. \fBFigure T1003720\(hy88, (N), p.\fR 
  706. .ad b
  707. .RT
  708. .sp 1P
  709. .LP
  710. 51
  711.     \fIchannel substructure body\fR  | (Structural concepts 3.2.3)
  712. .sp 9p
  713. .RT
  714. .LP
  715. .rs
  716. .sp 17P
  717. .ad r
  718. \fBFigure T1003730\(hy88, (N), p.\fR 
  719. .ad b
  720. .RT
  721. .sp 1P
  722. .LP
  723. 52
  724.     \fIchannel substructure reference\fR  | (Basic SDL 2.5.1)
  725. .sp 9p
  726. .RT
  727. .LP
  728. .rs
  729. .sp 3P
  730. .ad r
  731. \fBFigure T1003740\(hy88, (N), p.\fR 
  732. .ad b
  733. .RT
  734. .sp 1P
  735. .LP
  736. 53
  737.     \fIchannel endpoint connection\fR  | (Structural concepts
  738. 3.2.3)
  739. .sp 9p
  740. .RT
  741. .LP
  742. .rs
  743. .sp 3P
  744. .ad r
  745. \fBFigure T1003750\(hy88, (N), p.\fR 
  746. .ad b
  747. .RT
  748. .LP
  749. .bp
  750. .sp 1P
  751. .LP
  752. 54
  753.     \fIsignal refinement\fR  | (Structural concepts 3.3)
  754. .sp 9p
  755. .RT
  756. .LP
  757. .rs
  758. .sp 3P
  759. .ad r
  760. \fBFigure T1003760\(hy88, (N), p.\fR 
  761. .ad b
  762. .RT
  763. .sp 1P
  764. .LP
  765. 55
  766.     \fImacro definition\fR  | (Additional concepts 4.2.2)
  767. .sp 9p
  768. .RT
  769. .LP
  770. .rs
  771. .sp 22P
  772. .ad r
  773. \fBFigure T1003770\(hy88, (N), p.\fR 
  774. .ad b
  775. .RT
  776. .sp 1P
  777. .LP
  778. 56
  779.     \fImacro call\fR  | (Additional concepts 4.2.3)
  780. .sp 9p
  781. .RT
  782. .LP
  783. .rs
  784. .sp 6P
  785. .ad r
  786. \fBFigure T1003780\(hy88, (N), p.\fR 
  787. .ad b
  788. .RT
  789. .sp 1P
  790. .LP
  791. 57
  792.     \fIexternal synonym definition\fR  | (Additional concepts 4.3.1)
  793. .sp 9p
  794. .RT
  795. .LP
  796. .rs
  797. .sp 3P
  798. .ad r
  799. \fBFigure T1003790\(hy88, (N), p.\fR 
  800. .ad b
  801. .RT
  802. .LP
  803. .bp
  804. .sp 1P
  805. .LP
  806. 58
  807.     \fIselect definition\fR  | (Additional concepts 4.3.3)
  808. .sp 9p
  809. .RT
  810. .LP
  811. .rs
  812. .sp 47P
  813. .ad r
  814. \fBFigure T1003800\(hy88, (N), p.\fR 
  815. .ad b
  816. .RT
  817. .LP
  818. .bp
  819. .sp 1P
  820. .LP
  821. 59
  822.     \fItransition option\fR  | (Additional concepts 4.3.4)
  823. .sp 9p
  824. .RT
  825. .LP
  826. .rs
  827. .sp 33P
  828. .ad r
  829. \fBFigure T1003810\(hy88, (N), p.\fR 
  830. .sp 1P
  831. .RT
  832. .ad b
  833. .RT
  834. .sp 1P
  835. .LP
  836. 60
  837.     \fIservice decomposition\fR  | (Additional concepts 4.10.1)
  838. .sp 9p
  839. .RT
  840. .LP
  841. .rs
  842. .sp 14P
  843. .ad r
  844. \fBFigure T1003820\(hy88, (N), p.\fR 
  845. .sp 1P
  846. .RT
  847. .ad b
  848. .RT
  849. .LP
  850. .bp
  851. .sp 1P
  852. .LP
  853. 61
  854.     \fIservice definition\fR  | (Additional concepts 4.10.2)
  855. .sp 9p
  856. .RT
  857. .LP
  858. .rs
  859. .sp 31P
  860. .ad r
  861. \fBFigure T1003830\(hy88, (N), p.\fR 
  862. .ad b
  863. .RT
  864. .sp 1P
  865. .LP
  866. 62
  867.     \fIservice reference\fR  | (Additional concepts 4.10.1)
  868. .sp 9p
  869. .RT
  870. .LP
  871. .rs
  872. .sp 3P
  873. .ad r
  874. \fBFigure T1003840\(hy88, (N), p.\fR 
  875. .ad b
  876. .RT
  877. .sp 1P
  878. .LP
  879. 63
  880.     \fIsignal route connection\fR  | (Additional concepts 4.10.1)
  881. .sp 9p
  882. .RT
  883. .LP
  884. .rs
  885. .sp 4P
  886. .ad r
  887. \fBFigure T1003850\(hy88, (N), p.\fR 
  888. .ad b
  889. .RT
  890. .LP
  891. .bp
  892. .sp 1P
  893. .LP
  894. 64
  895.     \fIservice signal definition\fR  | (Additional concepts 4.10.1)
  896. .sp 9p
  897. .RT
  898. .LP
  899. .rs
  900. .sp 13P
  901. .ad r
  902. \fBFigure T1003860\(hy88, (N), p.\fR 
  903. .ad b
  904. .RT
  905. .sp 1P
  906. .LP
  907. 65
  908.     \fIpriority input\fR  | (Additional concepts 4.10.2)
  909. .sp 9p
  910. .RT
  911. .LP
  912. .rs
  913. .sp 7P
  914. .ad r
  915. \fBFigure T1003870\(hy88, (N), p.\fR 
  916. .ad b
  917. .RT
  918. .sp 1P
  919. .LP
  920. 66
  921.     \fIpriority output\fR  | (Additional concepts 4.10.2)
  922. .sp 9p
  923. .RT
  924. .LP
  925. .rs
  926. .sp 3P
  927. .ad r
  928. \fBFigure T1003880\(hy88, (N), p.\fR 
  929. .ad b
  930. .RT
  931. .sp 1P
  932. .LP
  933. 67
  934.     \fIcontinuous signal\fR  | (Additional concepts 4.11)
  935. .sp 9p
  936. .RT
  937. .LP
  938. .rs
  939. .sp 2P
  940. .ad r
  941. \fBFigure T1003890\(hy88, (N), p.\fR 
  942. .ad b
  943. .RT
  944. .sp 1P
  945. .LP
  946. 68
  947.     \fIenabling condition\fR  | (Additional concepts 4.12)
  948. .sp 9p
  949. .RT
  950. .LP
  951. .rs
  952. .sp 3P
  953. .ad r
  954. \fBFigure T1003900\(hy88, (N), p.\fR 
  955. .ad b
  956. .RT
  957. .sp 1P
  958. .LP
  959. 69
  960.     \fIimport definition\fR  | (Additional concepts 4.13)
  961. .sp 9p
  962. .RT
  963. .LP
  964. .rs
  965. .sp 6P
  966. .ad r
  967. \fBFigure T1003910\(hy88, (N), p.\fR 
  968. .ad b
  969. .RT
  970. .LP
  971. .bp
  972. .sp 1P
  973. .LP
  974. 70
  975.     \fIimport expression\fR  | (Additional concepts 4.13)
  976. .sp 9p
  977. .RT
  978. .LP
  979. .rs
  980. .sp 3P
  981. .ad r
  982. \fBFigure T1003920\(hy88, (N), p.\fR 
  983. .ad b
  984. .RT
  985. .sp 1P
  986. .LP
  987. 71
  988.     \fIexport\fR  | (Additional concepts 4.13)
  989. .sp 9p
  990. .RT
  991. .LP
  992. .rs
  993. .sp 4P
  994. .ad r
  995. \fBFigure T1003930\(hy88, (N), p.\fR 
  996. .ad b
  997. .RT
  998. .sp 1P
  999. .LP
  1000. 72
  1001.     \fIsort\fR  | (Data 5.2.2)
  1002. .sp 9p
  1003. .RT
  1004. .LP
  1005. .rs
  1006. .sp 4P
  1007. .ad r
  1008. \fBFigure T1003940\(hy88, (N), p.\fR 
  1009. .ad b
  1010. .RT
  1011. .sp 1P
  1012. .LP
  1013. 73
  1014.     \fIpartial type definition\fR  | (Data 5.2.1)
  1015. .sp 9p
  1016. .RT
  1017. .LP
  1018. .rs
  1019. .sp 3P
  1020. .ad r
  1021. \fBFigure T1003950\(hy88, (N), p.\fR 
  1022. .ad b
  1023. .RT
  1024. .sp 1P
  1025. .LP
  1026. 74
  1027.     \fIproperties expression\fR  | (Data 5.2.1 and 5.5.3.3)
  1028. .sp 9p
  1029. .RT
  1030. .LP
  1031. .rs
  1032. .sp 24P
  1033. .ad r
  1034. \fBFigure T1003960\(hy88, (N), p.\fR 
  1035. .ad b
  1036. .RT
  1037. .LP
  1038. .bp
  1039. .sp 1P
  1040. .LP
  1041. 75
  1042.     \fIoperators\fR  | (Data 5.2.2 and 5.4.1.8)
  1043. .sp 9p
  1044. .RT
  1045. .LP
  1046. .rs
  1047. .sp 5P
  1048. .ad r
  1049. \fBFigure T1003970\(hy88, (N), p.\fR 
  1050. .ad b
  1051. .RT
  1052. .sp 1P
  1053. .LP
  1054. 76
  1055.     \fIliteral list\fR  | (Data 5.2.2)
  1056. .sp 9p
  1057. .RT
  1058. .LP
  1059. .rs
  1060. .sp 3P
  1061. .ad r
  1062. \fBFigure T1003980\(hy88, (N), p.\fR 
  1063. .ad b
  1064. .RT
  1065. .sp 1P
  1066. .LP
  1067. 77
  1068.     \fIliteral signature\fR  | (Data 5.2.2 & 5.4.1.8)
  1069. .sp 9p
  1070. .RT
  1071. .LP
  1072. .rs
  1073. .sp 11P
  1074. .ad r
  1075. \fBFigure T1003990\(hy88, (N), p.\fR 
  1076. .ad b
  1077. .RT
  1078. .sp 1P
  1079. .LP
  1080. 78
  1081.     \fIcharacter string literal identifier\fR 
  1082. .sp 9p
  1083. .RT
  1084. .LP
  1085. .rs
  1086. .sp 2P
  1087. .ad r
  1088. \fBFigure T1004000\(hy88, (N), p.\fR 
  1089. .ad b
  1090. .RT
  1091. .sp 1P
  1092. .LP
  1093. 79
  1094.     \fIoperator signature\fR  | (Data 5.2.2)
  1095. .sp 9p
  1096. .RT
  1097. .LP
  1098. .rs
  1099. .sp 11P
  1100. .ad r
  1101. \fBFigure T1004010\(hy88, (N), p.\fR 
  1102. .ad b
  1103. .RT
  1104. .sp 1P
  1105. .LP
  1106. 80
  1107.     \fIaxioms\fR  | (Data 5.2.3 and 5.2.4)
  1108. .sp 9p
  1109. .RT
  1110. .LP
  1111. .rs
  1112. .sp 3P
  1113. .ad r
  1114. \fBFigure T1004020\(hy88, (N), p.\fR 
  1115. .ad b
  1116. .RT
  1117. .LP
  1118. .bp
  1119. .sp 1P
  1120. .LP
  1121. 81
  1122.     \fIequation\fR 
  1123. .sp 9p
  1124. .RT
  1125. .LP
  1126. .rs
  1127. .sp 37P
  1128. .ad r
  1129. \fBFigure T1004030\(hy88, (N), p.\fR 
  1130. .ad b
  1131. .RT
  1132. .sp 1P
  1133. .LP
  1134. 82
  1135.     \fIterm\fR 
  1136. .sp 9p
  1137. .RT
  1138. .LP
  1139. .rs
  1140. .sp 8P
  1141. .ad r
  1142. \fBFigure T1004040\(hy88, (N), p.\fR 
  1143. .ad b
  1144. .RT
  1145. .LP
  1146. .bp
  1147. .sp 1P
  1148. .LP
  1149. 83
  1150.     \fIground term\fR 
  1151. .sp 9p
  1152. .RT
  1153. .LP
  1154. .rs
  1155. .sp 10P
  1156. .ad r
  1157. \fBFigure T1004050\(hy88, (N), p.\fR 
  1158. .sp 1P
  1159. .RT
  1160. .ad b
  1161. .RT
  1162. .LP
  1163. .rs
  1164. .sp 8P
  1165. .ad r
  1166. \fBFigure T1004060\(hy88, (N), p.\fR 
  1167. .sp 1P
  1168. .RT
  1169. .ad b
  1170. .RT
  1171. .LP
  1172. .rs
  1173. .sp 10P
  1174. .ad r
  1175. \fBFigure T1004070\(hy88, (N), p.\fR 
  1176. .sp 1P
  1177. .RT
  1178. .ad b
  1179. .RT
  1180. .LP
  1181. .rs
  1182. .sp 2P
  1183. .ad r
  1184. \fBFigure T1004080\(hy88, (N), p.\fR 
  1185. .sp 1P
  1186. .RT
  1187. .ad b
  1188. .RT
  1189. .LP
  1190. .rs
  1191. .sp 6P
  1192. .ad r
  1193. \fBFigure T1004090\(hy88, (N), p.\fR 
  1194. .sp 1P
  1195. .RT
  1196. .ad b
  1197. .RT
  1198. .LP
  1199. .bp
  1200. .LP
  1201. .rs
  1202. .sp 6P
  1203. .ad r
  1204. \fBFigure T1004100\(hy88, (N), p.\fR 
  1205. .ad b
  1206. .RT
  1207. .LP
  1208. .rs
  1209. .sp 10P
  1210. .ad r
  1211. \fBFigure T1004110\(hy88, (N), p.\fR 
  1212. .ad b
  1213. .RT
  1214. .LP
  1215. .rs
  1216. .sp 2P
  1217. .ad r
  1218. \fBFigure T1004120\(hy88, (N), p.\fR 
  1219. .ad b
  1220. .RT
  1221. .LP
  1222. .rs
  1223. .sp 3P
  1224. .ad r
  1225. \fBFigure T1004130\(hy88, (N), p.\fR 
  1226. .ad b
  1227. .RT
  1228. .LP
  1229. .sp 3
  1230. .sp 1P
  1231. .LP
  1232. 84
  1233.     \fIextended operator identifier\fR 
  1234. .sp 9p
  1235. .RT
  1236. .LP
  1237. .rs
  1238. .sp 6P
  1239. .ad r
  1240. \fBFigure T1004140\(hy88, (N), p.\fR 
  1241. .ad b
  1242. .RT
  1243. .LP
  1244. .bp
  1245. .sp 1P
  1246. .LP
  1247. 85
  1248.     \fIinfix operator\fR 
  1249. .sp 9p
  1250. .RT
  1251. .LP
  1252. .rs
  1253. .sp 37P
  1254. .ad r
  1255. \fBFigure T1004150\(hy88, (N), p.\fR 
  1256. .ad b
  1257. .RT
  1258. .sp 1P
  1259. .LP
  1260. .sp 2
  1261. 86
  1262.     \fImonadic operator\fR 
  1263. .sp 9p
  1264. .RT
  1265. .LP
  1266. .rs
  1267. .sp 10P
  1268. .ad r
  1269. \fBFigure T1004160\(hy88, (N), p.\fR 
  1270. .ad b
  1271. .RT
  1272. .LP
  1273. .bp
  1274. .sp 1P
  1275. .LP
  1276. 87
  1277.     \fIquoted operator\fR 
  1278. .sp 9p
  1279. .RT
  1280. .LP
  1281. .rs
  1282. .sp 4P
  1283. .ad r
  1284. \fBFigureT1004170\(hy88, (N), p.\fR 
  1285. .ad b
  1286. .RT
  1287. .sp 1P
  1288. .LP
  1289. 88
  1290.     \fIextended operator name\fR  | (Data 5.4.1)
  1291. .sp 9p
  1292. .RT
  1293. .LP
  1294. .rs
  1295. .sp 8P
  1296. .ad r
  1297. \fBFigure T1004180\(hy88, (N), p.\fR 
  1298. .ad b
  1299. .RT
  1300. .sp 1P
  1301. .LP
  1302. 89
  1303.     \fIextended sort\fR  | (Data 5.4.1.9)
  1304. .sp 9p
  1305. .RT
  1306. .LP
  1307. .rs
  1308. .sp 3P
  1309. .ad r
  1310. \fBFigure T1004190\(hy88, (N), p.\fR 
  1311. .ad b
  1312. .RT
  1313. .sp 1P
  1314. .LP
  1315. 90
  1316.     \fIextended properties\fR  | (Data 5.4.1)
  1317. .sp 9p
  1318. .RT
  1319. .LP
  1320. .rs
  1321. .sp 6P
  1322. .ad r
  1323. \fBFigure T1004200\(hy88, (N), p.\fR 
  1324. .ad b
  1325. .RT
  1326. .LP
  1327. .bp
  1328. .sp 1P
  1329. .LP
  1330. 91
  1331.     \fIsyntype definition\fR  | (Data 5.4.1.9)
  1332. .sp 9p
  1333. .RT
  1334. .LP
  1335. .rs
  1336. .sp 30P
  1337. .ad r
  1338. \fBFigure T1004210\(hy88, (N), p.\fR 
  1339. .ad b
  1340. .RT
  1341. .sp 1P
  1342. .LP
  1343. 92
  1344.     \fIrange conditions\fR  | (Data 5.4.1.9.1)
  1345. .sp 9p
  1346. .RT
  1347. .LP
  1348. .rs
  1349. .sp 12P
  1350. .ad r
  1351. \fBFigure T1004220\(hy88, (N), p.\fR 
  1352. .ad b
  1353. .RT
  1354. .LP
  1355. .bp
  1356. .sp 1P
  1357. .LP
  1358. 93
  1359.     \fIconstant\fR  | (Data 5.4.1.9)
  1360. .sp 9p
  1361. .RT
  1362. .LP
  1363. .rs
  1364. .sp 19P
  1365. .ad r
  1366. \fBFigure T1004230\(hy88, (N), p.\fR 
  1367. .sp 1P
  1368. .RT
  1369. .ad b
  1370. .RT
  1371. .sp 1P
  1372. .LP
  1373. 94
  1374.     \fIstructure definition\fR  | (Data 5.4.1.10)
  1375. .sp 9p
  1376. .RT
  1377. .LP
  1378. .rs
  1379. .sp 19P
  1380. .ad r
  1381. \fBFigure T1004240\(hy88, (N), p.\fR 
  1382. .sp 1P
  1383. .RT
  1384. .ad b
  1385. .RT
  1386. .LP
  1387. .bp
  1388. .sp 1P
  1389. .LP
  1390. 95
  1391.     \fIinheritance rule\fR  | (Data 5.4.1.11)
  1392. .sp 9p
  1393. .RT
  1394. .LP
  1395. .rs
  1396. .sp 47P
  1397. .ad r
  1398. \fBFigure T1004250\(hy88, (N), p.\fR 
  1399. .sp 1P
  1400. .RT
  1401. .ad b
  1402. .RT
  1403. .LP
  1404. .bp
  1405. .sp 1P
  1406. .LP
  1407. 96
  1408.     \fIliteral renaming\fR  | (Data 5.4.1.11)
  1409. .sp 9p
  1410. .RT
  1411. .LP
  1412. .rs
  1413. .sp 6P
  1414. .ad r
  1415. \fBFigure T1004260\(hy88, (N), p.\fR 
  1416. .ad b
  1417. .RT
  1418. .sp 1P
  1419. .LP
  1420. 97
  1421.     \fIgenerator definition\fR  | (Data 5.4.1.12.1)
  1422. .sp 9p
  1423. .RT
  1424. .LP
  1425. .rs
  1426. .sp 19P
  1427. .ad r
  1428. \fBFigure T1004270\(hy88, (N), p.\fR 
  1429. .ad b
  1430. .RT
  1431. .sp 1P
  1432. .LP
  1433. 98
  1434.     \fIgenerator formal name\fR  | (Data 5.4.1.12.1)
  1435. .sp 9p
  1436. .RT
  1437. .LP
  1438. .rs
  1439. .sp 4P
  1440. .ad r
  1441. \fBFigure T1004280\(hy88, (N), p.\fR 
  1442. .ad b
  1443. .RT
  1444. .sp 1P
  1445. .LP
  1446. 99
  1447.     \fIgenerator sort\fR  | (Data 5.4.1.12.1)
  1448. .sp 9p
  1449. .RT
  1450. .LP
  1451. .rs
  1452. .sp 4P
  1453. .ad r
  1454. \fBFigure T1004290\(hy88, (N), p.\fR 
  1455. .ad b
  1456. .RT
  1457. .sp 1P
  1458. .LP
  1459. 100
  1460.     \fIgenerator instantiations\fR  | (Data 5.4.1.12.2)
  1461. .sp 9p
  1462. .RT
  1463. .LP
  1464. .rs
  1465. .sp 4P
  1466. .ad r
  1467. \fBFigure T1004300\(hy88, (N), p.\fR 
  1468. .ad b
  1469. .RT
  1470. .LP
  1471. .bp
  1472. .sp 1P
  1473. .LP
  1474. 101
  1475.     \fIgenerator instantiation\fR \ 
  1476. (Data 5.4.1.12.2)
  1477. .sp 9p
  1478. .RT
  1479. .LP
  1480. .rs
  1481. .sp 9P
  1482. .ad r
  1483. \fBFigure T1004310\(hy88, (N), p.\fR 
  1484. .ad b
  1485. .RT
  1486. .sp 1P
  1487. .LP
  1488. 102
  1489.     \fIoperator name\fR 
  1490. .sp 9p
  1491. .RT
  1492. .LP
  1493. .rs
  1494. .sp 16P
  1495. .ad r
  1496. \fBFigure T1004320\(hy88, (N), p.\fR 
  1497. .ad b
  1498. .RT
  1499. .sp 1P
  1500. .LP
  1501. 103
  1502.     \fIsynonym definition\fR  | (Data 5.4.1.13)
  1503. .sp 9p
  1504. .RT
  1505. .LP
  1506. .rs
  1507. .sp 4P
  1508. .ad r
  1509. \fBFigure T1004330\(hy88, (N), p.\fR 
  1510. .ad b
  1511. .RT
  1512. .sp 1P
  1513. .LP
  1514. 104
  1515.     \fIname class literal\fR  | (Data 5.4.1.14)
  1516. .sp 9p
  1517. .RT
  1518. .LP
  1519. .rs
  1520. .sp 3P
  1521. .ad r
  1522. \fBFigure T1004340\(hy88, (N), p.\fR 
  1523. .ad b
  1524. .RT
  1525. .LP
  1526. .bp
  1527. .sp 1P
  1528. .LP
  1529. 105
  1530.     \fIregular expression\fR  | (Data 5.4.1.14)
  1531. .sp 9p
  1532. .RT
  1533. .LP
  1534. .rs
  1535. .sp 29P
  1536. .ad r
  1537. \fBFigure T1004350\(hy88, (N), p.\fR 
  1538. .ad b
  1539. .RT
  1540. .sp 1P
  1541. .LP
  1542. 106
  1543.     \fIground expression\fR  | (Data 5.4.2.1)
  1544. .sp 9p
  1545. .RT
  1546. .LP
  1547. .rs
  1548. .sp 3P
  1549. .ad r
  1550. \fBFigure T1004360\(hy88, (N), p.\fR 
  1551. .ad b
  1552. .RT
  1553. .sp 1P
  1554. .LP
  1555. 107
  1556.     \fIactive expression\fR  | (Data 5.4.2.2)
  1557. .sp 9p
  1558. .RT
  1559. .LP
  1560. .rs
  1561. .sp 2P
  1562. .ad r
  1563. \fBFigure T1004370\(hy88, (N), p.\fR 
  1564. .ad b
  1565. .RT
  1566. .LP
  1567. .bp
  1568. .sp 1P
  1569. .LP
  1570. 108
  1571.     \fIground primary\fR  | (Data 5.4.2.2)
  1572. .sp 9p
  1573. .RT
  1574. .LP
  1575. .rs
  1576. .sp 18P
  1577. .ad r
  1578. \fBFigure T1004380\(hy88, (N), p.\fR 
  1579. .ad b
  1580. .RT
  1581. .sp 1P
  1582. .LP
  1583. 109
  1584.     \fIfield selection\fR 
  1585. .sp 9p
  1586. .RT
  1587. .LP
  1588. .rs
  1589. .sp 6P
  1590. .ad r
  1591. \fBFigure T1004390\(hy88, (N), p.\fR 
  1592. .ad b
  1593. .RT
  1594. .sp 1P
  1595. .LP
  1596. 110
  1597.     \fIoperator identifier\fR 
  1598. .sp 9p
  1599. .RT
  1600. .LP
  1601. .rs
  1602. .sp 4P
  1603. .ad r
  1604. \fBFigure T1004400\(hy88, (N), p.\fR 
  1605. .ad b
  1606. .RT
  1607. .sp 1P
  1608. .LP
  1609. 111
  1610.     \fIexpression\fR  | (Data 5.5.2.1)
  1611. .sp 9p
  1612. .RT
  1613. .LP
  1614. .rs
  1615. .sp 4P
  1616. .ad r
  1617. \fBFigure T1004410\(hy88, (N), p.\fR 
  1618. .ad b
  1619. .RT
  1620. .LP
  1621. .bp
  1622. .sp 1P
  1623. .LP
  1624. 112
  1625.     \fIoperand0\fR  | (Data 5.5.2.1)
  1626. .sp 9p
  1627. .RT
  1628. .LP
  1629. .rs
  1630. .sp 6P
  1631. .ad r
  1632. \fBFigure T1004420\(hy88, (N), p.\fR 
  1633. .ad b
  1634. .RT
  1635. .sp 1P
  1636. .LP
  1637. 113
  1638.     \fIoperand1\fR  | (Data 5.5.2.1)
  1639. .sp 9p
  1640. .RT
  1641. .LP
  1642. .rs
  1643. .sp 4P
  1644. .ad r
  1645. \fBFigure T1004430\(hy88, (N), p.\fR 
  1646. .ad b
  1647. .RT
  1648. .sp 1P
  1649. .LP
  1650. 114
  1651.     \fIoperand2\fR  | (Data 5.5.2.1)
  1652. .sp 9p
  1653. .RT
  1654. .LP
  1655. .rs
  1656. .sp 13P
  1657. .ad r
  1658. \fBFigure T1004440\(hy88, (N), p.\fR 
  1659. .ad b
  1660. .RT
  1661. .sp 1P
  1662. .LP
  1663. 115
  1664.     \fIoperand3\fR  | (Data 5.5.2.1)
  1665. .sp 9p
  1666. .RT
  1667. .LP
  1668. .rs
  1669. .sp 7P
  1670. .ad r
  1671. \fBFigure T1004450\(hy88, (N), p.\fR 
  1672. .ad b
  1673. .RT
  1674. .sp 1P
  1675. .LP
  1676. 116
  1677.     \fIoperand4\fR  | (Data 5.5.2.1)
  1678. .sp 9p
  1679. .RT
  1680. .LP
  1681. .rs
  1682. .sp 9P
  1683. .ad r
  1684. \fBFigure T1004460\(hy88, (N), p.\fR 
  1685. .ad b
  1686. .RT
  1687. .LP
  1688. .bp
  1689. .sp 1P
  1690. .LP
  1691. 117
  1692.     \fIoperand5\fR  | (Data 5.5.2.1)
  1693. .sp 9p
  1694. .RT
  1695. .LP
  1696. .rs
  1697. .sp 4P
  1698. .ad r
  1699. \fBFigure T1004470\(hy88, (N), p.\fR 
  1700. .ad b
  1701. .RT
  1702. .sp 1P
  1703. .LP
  1704. 118
  1705.     \fIprimary\fR 
  1706. .sp 9p
  1707. .RT
  1708. .LP
  1709. .rs
  1710. .sp 6P
  1711. .ad r
  1712. \fBFigure T1004480\(hy88, (N), p.\fR 
  1713. .ad b
  1714. .RT
  1715. .sp 1P
  1716. .LP
  1717. 119
  1718.     \fIactive primary\fR 
  1719. .sp 9p
  1720. .RT
  1721. .LP
  1722. .rs
  1723. .sp 12P
  1724. .ad r
  1725. \fBFigure T1004490\(hy88, (N), p.\fR 
  1726. .ad b
  1727. .RT
  1728. .sp 1P
  1729. .LP
  1730. 120
  1731.     \fIactive expression list\fR  | (Data 5.5.2.1)
  1732. .sp 9p
  1733. .RT
  1734. .LP
  1735. .rs
  1736. .sp 16P
  1737. .ad r
  1738. \fBFigure T1004500\(hy88, (N), p.\fR 
  1739. .ad b
  1740. .RT
  1741. .LP
  1742. .bp
  1743. .LP
  1744. .rs
  1745. .sp 4P
  1746. .ad r
  1747. \fBFigure T1004510\(hy88, (N), p.\fR 
  1748. .ad b
  1749. .RT
  1750. .LP
  1751. .rs
  1752. .sp 2P
  1753. .ad r
  1754. \fBFigure T1004520\(hy88, (N), p.\fR 
  1755. .ad b
  1756. .RT
  1757. .LP
  1758. .rs
  1759. .sp 7P
  1760. .ad r
  1761. \fBFigure T1004530\(hy88, (N), p.\fR 
  1762. .ad b
  1763. .RT
  1764. .LP
  1765. .rs
  1766. .sp 4P
  1767. .ad r
  1768. \fBFigure T1004540\(hy88, (N), p.\fR 
  1769. .ad b
  1770. .RT
  1771. .sp 1P
  1772. .LP
  1773. 121
  1774.     \fIassignment statement\fR 
  1775. .sp 9p
  1776. .RT
  1777. .LP
  1778. .rs
  1779. .sp 20P
  1780. .ad r
  1781. \fBFigure T1004550\(hy88, (N), p.\fR 
  1782. .ad b
  1783. .RT
  1784. .LP
  1785. .bp
  1786. .sp 1P
  1787. .LP
  1788. 122
  1789.     \fIimperative operator\fR  | (Data 5.5.4)
  1790. .sp 9p
  1791. .RT
  1792. .LP
  1793. .rs
  1794. .sp 10P
  1795. .ad r
  1796. \fB\fR \fBFigure T1004570\(hy88, (N), p.\fR 
  1797. .ad b
  1798. .RT
  1799. .sp 1P
  1800. .LP
  1801. 123
  1802.     \fInow expression\fR 
  1803. .sp 9p
  1804. .RT
  1805. .LP
  1806. .rs
  1807. .sp 2P
  1808. .ad r
  1809. \fBFigure T1004580\(hy88, (N), p.\fR 
  1810. .ad b
  1811. .RT
  1812. .sp 1P
  1813. .LP
  1814. 124
  1815.     \fIPId expression\fR 
  1816. .sp 9p
  1817. .RT
  1818. .LP
  1819. .rs
  1820. .sp 8P
  1821. .ad r
  1822. \fBFigure T1004590\(hy88, (N), p.\fR 
  1823. .ad b
  1824. .RT
  1825. .sp 1P
  1826. .LP
  1827. 125
  1828.     \fIliteral\fR 
  1829. .sp 9p
  1830. .RT
  1831. .LP
  1832. .rs
  1833. .sp 5P
  1834. .ad r
  1835. \fBFigure T1004600\(hy88, (N), p.\fR 
  1836. .ad b
  1837. .RT
  1838. .sp 1P
  1839. .LP
  1840. 126
  1841.     \fIlabel\fR 
  1842. .sp 9p
  1843. .RT
  1844. .LP
  1845. .rs
  1846. .sp 2P
  1847. .ad r
  1848. \fBFigure T1004610\(hy88, (N), p.\fR 
  1849. .ad b
  1850. .RT
  1851. .sp 1P
  1852. .LP
  1853. 127
  1854.     \fIcomment\fR 
  1855. .sp 9p
  1856. .RT
  1857. .LP
  1858. .rs
  1859. .sp 2P
  1860. .ad r
  1861. \fBFigure T1004620\(hy88, (N), p.\fR 
  1862. .ad b
  1863. .RT
  1864. .sp 1P
  1865. .LP
  1866. 128
  1867.     \fIidentifier\fR 
  1868. .sp 9p
  1869. .RT
  1870. .LP
  1871. .rs
  1872. .sp 3P
  1873. .ad r
  1874. \fBFigure T1004630\(hy88, (N), p.\fR 
  1875. .ad b
  1876. .RT
  1877. .LP
  1878. .bp
  1879. .sp 1P
  1880. .LP
  1881. 129
  1882.     \fIqualifier\fR 
  1883. .sp 9p
  1884. .RT
  1885. .LP
  1886. .rs
  1887. .sp 21P
  1888. .ad r
  1889. \fBFigure T1004640\(hy88, (N), p.\fR 
  1890. .ad b
  1891. .RT
  1892. .sp 1P
  1893. .LP
  1894. 130
  1895.     \fIdecimal integer\fR 
  1896. .sp 9p
  1897. .RT
  1898. .LP
  1899. .rs
  1900. .sp 2P
  1901. .ad r
  1902. \fBFigure T1004650\(hy88, (N), p.\fR 
  1903. .ad b
  1904. .RT
  1905. .sp 2P
  1906. .LP
  1907. \fBLexical rules syntax diagrams\fR 
  1908. .sp 1P
  1909. .RT
  1910. .sp 1P
  1911. .LP
  1912. 131
  1913.     \fIlexical unit\fR 
  1914. .sp 9p
  1915. .RT
  1916. .LP
  1917. .rs
  1918. .sp 12P
  1919. .ad r
  1920. \fBFigure T1004660\(hy88, (N), p.\fR 
  1921. .ad b
  1922. .RT
  1923. .LP
  1924. .bp
  1925. .sp 1P
  1926. .LP
  1927. 132
  1928.     \fIname\fR 
  1929. .sp 9p
  1930. .RT
  1931. .LP
  1932. .rs
  1933. .sp 14P
  1934. .ad r
  1935. \fBFigure T1004670\(hy88, (N), p.\fR 
  1936. .sp 1P
  1937. .RT
  1938. .ad b
  1939. .RT
  1940. .PP
  1941. A \fIname\fR  | must contain at least one alphabetic character.
  1942. .LP
  1943. .sp 5
  1944. .sp 1P
  1945. .LP
  1946. 133
  1947.     \fIend of name\fR 
  1948. .sp 9p
  1949. .RT
  1950. .LP
  1951. .rs
  1952. .sp 11P
  1953. .ad r
  1954. \fBFigure T1004680\(hy88, (N), p.\fR 
  1955. .sp 1P
  1956. .RT
  1957. .ad b
  1958. .RT
  1959. .sp 1P
  1960. .LP
  1961. 134
  1962.     \fIalphanumeric\fR 
  1963. .sp 9p
  1964. .RT
  1965. .LP
  1966. .rs
  1967. .sp 13P
  1968. .ad r
  1969. \fBFigure T1004690\(hy88, (N), p.\fR 
  1970. .sp 1P
  1971. .RT
  1972. .ad b
  1973. .RT
  1974. .LP
  1975. .bp
  1976. .sp 1P
  1977. .LP
  1978. 135
  1979.     \fIletter\fR 
  1980. .sp 9p
  1981. .RT
  1982. .LP
  1983. .rs
  1984. .sp 47P
  1985. .ad r
  1986. \fBFigure T1004700\(hy88, (N), p.\fR 
  1987. .sp 1P
  1988. .RT
  1989. .ad b
  1990. .RT
  1991. .LP
  1992. .bp
  1993. .sp 1P
  1994. .LP
  1995. 136
  1996.     \fIdecimal digit\fR 
  1997. .sp 9p
  1998. .RT
  1999. .LP
  2000. .rs
  2001. .sp 17P
  2002. .ad r
  2003. \fBFigure T1004710\(hy88, (N), p.\fR 
  2004. .sp 1P
  2005. .RT
  2006. .ad b
  2007. .RT
  2008. .sp 1P
  2009. .LP
  2010. 137
  2011.     \fInational\fR 
  2012. .sp 9p
  2013. .RT
  2014. .LP
  2015. .rs
  2016. .sp 21P
  2017. .ad r
  2018. \fBFigure T1004720\(hy88, (N), p.\fR 
  2019. .sp 1P
  2020. .RT
  2021. .ad b
  2022. .RT
  2023. .LP
  2024. .bp
  2025. .sp 1P
  2026. .LP
  2027. 138
  2028.     \fIcharacter string literal\fR 
  2029. .sp 9p
  2030. .RT
  2031. .LP
  2032. .rs
  2033. .sp 17P
  2034. .ad r
  2035. \fBFigure T1004730\(hy88, (N), p.\fR 
  2036. .sp 1P
  2037. .RT
  2038. .ad b
  2039. .RT
  2040. .sp 1P
  2041. .LP
  2042. 139
  2043.     \fIspecial\fR 
  2044. .sp 9p
  2045. .RT
  2046. .LP
  2047. .rs
  2048. .sp 24P
  2049. .ad r
  2050. \fBFigure T100474600\(hy88, (N), p.\fR 
  2051. .sp 1P
  2052. .RT
  2053. .ad b
  2054. .RT
  2055. .LP
  2056. .bp
  2057. .sp 1P
  2058. .LP
  2059. 140
  2060.     \fIcomposite special\fR 
  2061. .sp 9p
  2062. .RT
  2063. .LP
  2064. .rs
  2065. .sp 25P
  2066. .ad r
  2067. \fBFigure T1004750\(hy88, (N), p.\fR 
  2068. .sp 1P
  2069. .RT
  2070. .ad b
  2071. .RT
  2072. .sp 1P
  2073. .LP
  2074. 141
  2075.     \fItext\fR 
  2076. .sp 9p
  2077. .RT
  2078. .LP
  2079. .rs
  2080. .sp 23P
  2081. .ad r
  2082. \fBFigure T1004760\(hy88, (N), p.\fR 
  2083. .sp 1P
  2084. .RT
  2085. .ad b
  2086. .RT
  2087. .LP
  2088. .bp
  2089. .sp 1P
  2090. .LP
  2091. 142
  2092.     \fInote\fR 
  2093. .sp 9p
  2094. .RT
  2095. .LP
  2096. .rs
  2097. .sp 12P
  2098. .ad r
  2099. \fBFigure T1004770\(hy88, (N), p.\fR 
  2100. .sp 1P
  2101. .RT
  2102. .ad b
  2103. .RT
  2104. .sp 1P
  2105. .LP
  2106. 143
  2107.     \fIformal name\fR 
  2108. .sp 9p
  2109. .RT
  2110. .LP
  2111. .rs
  2112. .sp 21P
  2113. .ad r
  2114. \fBFigure T1004780\(hy88, (N), p.\fR 
  2115. .sp 1P
  2116. .RT
  2117. .ad b
  2118. .RT
  2119. .LP
  2120. .bp
  2121. .sp 1P
  2122. .LP
  2123. 144
  2124.     \fIkeyword\fR 
  2125. .sp 9p
  2126. .RT
  2127. .LP
  2128. .rs
  2129. .sp 47P
  2130. .ad r
  2131. \fBFigure T1004790\(hy88, (N), p.\fR 
  2132. .sp 1P
  2133. .RT
  2134. .ad b
  2135. .RT
  2136. .LP
  2137. .bp
  2138. .LP
  2139. .rs
  2140. .sp 47P
  2141. .ad r
  2142. \fBFigure T1004800\(hy88, (N), p.\fR 
  2143. .sp 1P
  2144. .RT
  2145. .ad b
  2146. .RT
  2147. .LP
  2148. .bp
  2149. .sp 1P
  2150. .ce 1000
  2151. INDEX
  2152. \v'2p'
  2153. .ce 0
  2154. .sp 1P
  2155. .LP
  2156. 107
  2157.     active expression
  2158. .sp 9p
  2159. .RT
  2160. .LP
  2161. 120
  2162.     active expression list
  2163. .LP
  2164. 119
  2165.     active primary
  2166. .LP
  2167. \ 45
  2168.     actual parameters
  2169. .LP
  2170. 134
  2171.     alphanumeric
  2172. .LP
  2173. \ 35
  2174.     answer
  2175. .LP
  2176. 121
  2177.     assignment statement
  2178. .LP
  2179. \ 80
  2180.     axioms
  2181. .LP
  2182. \ \ 5
  2183.     block definition
  2184. .LP
  2185. \ 46
  2186.     block substructure definition
  2187. .LP
  2188. \ 47
  2189.     block substructure reference
  2190. .LP
  2191. \ 48
  2192.     channel connection
  2193. .LP
  2194. \ 14
  2195.     channel definition
  2196. .LP
  2197. \ 53
  2198.     channel endpoint connection
  2199. .LP
  2200. \ 51
  2201.     channel substructure body
  2202. .LP
  2203. \ 50
  2204.     channel substructure definition
  2205. .LP
  2206. \ 52
  2207.     channel substructure reference
  2208. .LP
  2209. \ 49
  2210.     channel to route connection
  2211. .LP
  2212. 138
  2213.     character string literal
  2214. .LP
  2215. \ 78
  2216.     character string literal identifier
  2217. .LP
  2218. 127
  2219.     comment
  2220. .LP
  2221. 140
  2222.     composite special
  2223. .LP
  2224. \ 93
  2225.     constant
  2226. .LP
  2227. \ 67
  2228.     continuous signal
  2229. .LP
  2230. \ 31
  2231.     create request
  2232. .LP
  2233. \ 43
  2234.     data definition
  2235. .LP
  2236. 136
  2237.     decimal digit
  2238. .LP
  2239. 130
  2240.     decimal integer
  2241. .LP
  2242. \ 34
  2243.     decision
  2244. .LP
  2245. \ \ 2
  2246.     definition
  2247. .LP
  2248. \ \ 3
  2249.     diagram
  2250. .LP
  2251. \ 68
  2252.     enabling condition
  2253. .LP
  2254. \ 40
  2255.     end
  2256. .LP
  2257. 133
  2258.     end of name
  2259. .LP
  2260. \ 81
  2261.     equation
  2262. .LP
  2263. \ 71
  2264.     export
  2265. .LP
  2266. 111
  2267.     expression
  2268. .LP
  2269. \ 84
  2270.     extended operator identifier
  2271. .LP
  2272. \ 88
  2273.     extended operator name
  2274. .LP
  2275. \ 90
  2276.     extended properties
  2277. .LP
  2278. \ 89
  2279.     extended sort
  2280. .LP
  2281. \ 57
  2282.     external synonym definition
  2283. .LP
  2284. 109
  2285.     field selection
  2286. .LP
  2287. 143
  2288.     formal name
  2289. .LP
  2290. \ 97
  2291.     generator definition
  2292. .LP
  2293. \ 98
  2294.     generator formal name
  2295. .LP
  2296. 101
  2297.     generator instantiation
  2298. .LP
  2299. 100
  2300.     generator instantiations
  2301. .LP
  2302. \ 99
  2303.     generator sort
  2304. .LP
  2305. 106
  2306.     ground expression
  2307. .LP
  2308. 108
  2309.     ground primary
  2310. .LP
  2311. \ 83
  2312.     ground term
  2313. .LP
  2314. 128
  2315.     identifier
  2316. .LP
  2317. 122
  2318.     imperative operator
  2319. .LP
  2320. \ 69
  2321.     import definition
  2322. .LP
  2323. \ 70
  2324.     import expression
  2325. .bp
  2326. .LP
  2327. \ 85
  2328.     infix operator
  2329. .LP
  2330. \ 44
  2331.     informal text
  2332. .LP
  2333. \ 95
  2334.     inheritance rule
  2335. .LP
  2336. \ 23
  2337.     input
  2338. .LP
  2339. \ 27
  2340.     join
  2341. .LP
  2342. 144
  2343.     keyword
  2344. .LP
  2345. 126
  2346.     label
  2347. .LP
  2348. 135
  2349.     letter
  2350. .LP
  2351. 131
  2352.     lexical unit
  2353. .LP
  2354. 125
  2355.     literal
  2356. .LP
  2357. \ 76
  2358.     literal list
  2359. .LP
  2360. \ 96
  2361.     literal renaming
  2362. .LP
  2363. \ 77
  2364.     literal signature
  2365. .LP
  2366. \ 56
  2367.     macro call
  2368. .LP
  2369. \ 55
  2370.     macro definition
  2371. .LP
  2372. \ 86
  2373.     monadic operator
  2374. .LP
  2375. 132
  2376.     name
  2377. .LP
  2378. 104
  2379.     name class literal
  2380. .LP
  2381. 137
  2382.     national
  2383. .LP
  2384. \ 26
  2385.     nextstate
  2386. .LP
  2387. 142
  2388.     note
  2389. .LP
  2390. 123
  2391.     now expression
  2392. .LP
  2393. 112
  2394.     operand0
  2395. .LP
  2396. 113
  2397.     operand1
  2398. .LP
  2399. 114
  2400.     operand2
  2401. .LP
  2402. 115
  2403.     operand3
  2404. .LP
  2405. 116
  2406.     operand4
  2407. .LP
  2408. 117
  2409.     operand5
  2410. .LP
  2411. 110
  2412.     operator identifier
  2413. .LP
  2414. 102
  2415.     operator name
  2416. .LP
  2417. \ 79
  2418.     operator signature
  2419. .LP
  2420. \ 75
  2421.     operators
  2422. .LP
  2423. \ 33
  2424.     output
  2425. .LP
  2426. \ 73
  2427.     partial type definition
  2428. .LP
  2429. 124
  2430.     PId expression
  2431. .LP
  2432. 118
  2433.     primary
  2434. .LP
  2435. \ 65
  2436.     priority input
  2437. .LP
  2438. \ 66
  2439.     priority output
  2440. .LP
  2441. \ 32
  2442.     procedure call
  2443. .LP
  2444. \ 12
  2445.     procedure definition
  2446. .LP
  2447. \ 10
  2448.     process body
  2449. .LP
  2450. \ \ 7
  2451.     process definition
  2452. .LP
  2453. \ 74
  2454.     properties expression
  2455. .LP
  2456. 129
  2457.     qualifier
  2458. .LP
  2459. \ 87
  2460.     quoted operator
  2461. .LP
  2462. \ 92
  2463.     range conditions
  2464. .LP
  2465. 105
  2466.     regular expression
  2467. .LP
  2468. \ 37
  2469.     reset
  2470. .LP
  2471. \ 29
  2472.     return
  2473. .LP
  2474. \ 24
  2475.     save
  2476. .LP
  2477. \ 58
  2478.     select definition
  2479. .LP
  2480. \ 60
  2481.     service decomposition
  2482. .LP
  2483. \ 61
  2484.     service definition
  2485. .LP
  2486. \ 62
  2487.     service reference
  2488. .LP
  2489. \ 64
  2490.     service signal route definition
  2491. .LP
  2492. \ 38
  2493.     set
  2494. .bp
  2495. .LP
  2496. \ 16
  2497.     signal definition
  2498. .LP
  2499. \ 41
  2500.     signal list
  2501. .LP
  2502. \ 17
  2503.     signal list definition
  2504. .LP
  2505. \ 54
  2506.     signal refinement
  2507. .LP
  2508. \ 63
  2509.     signal route connection
  2510. .LP
  2511. \ 15
  2512.     signal route definition
  2513. .LP
  2514. \ 11
  2515.     simple expression
  2516. .LP
  2517. \ 72
  2518.     sort
  2519. .LP
  2520. \ 42
  2521.     sort list
  2522. .LP
  2523. 139
  2524.     special
  2525. .LP
  2526. \ 21
  2527.     start
  2528. .LP
  2529. \ 22
  2530.     state
  2531. .LP
  2532. \ 28
  2533.     stop
  2534. .LP
  2535. \ 94
  2536.     structure definition
  2537. .LP
  2538. \ 91
  2539.     syntype definition
  2540. .LP
  2541. 103
  2542.     synonym definition
  2543. .LP
  2544. \ \ 1
  2545.     system
  2546. .LP
  2547. \ \ 4
  2548.     system definition
  2549. .LP
  2550. \ 30
  2551.     task
  2552. .LP
  2553. \ 82
  2554.     term
  2555. .LP
  2556. 141
  2557.     text
  2558. .LP
  2559. \ \ 6
  2560.     textual block reference
  2561. .LP
  2562. \ 13
  2563.     textual procedure reference
  2564. .LP
  2565. \ \ 8
  2566.     textual process reference
  2567. .LP
  2568. \ 39
  2569.     timer active expression
  2570. .LP
  2571. \ 36
  2572.     timer definition
  2573. .LP
  2574. \ 25
  2575.     transition
  2576. .LP
  2577. \ 59
  2578.     transition option
  2579. .LP
  2580. \ \ 9
  2581.     valid input signal set
  2582. .LP
  2583. \ 18
  2584.     variable definition
  2585. .LP
  2586. \ 19
  2587.     view definition
  2588. .LP
  2589. \ 20
  2590.     view expression
  2591. .LP
  2592. Fin premi\*`ere partie
  2593. .LP
  2594. .sp 2
  2595. .LP
  2596. 39
  2597.     ACTIVE
  2598. .LP
  2599. 94,\ 95,\ 100
  2600.     ADDING
  2601. .LP
  2602. 74,\ 81,\ 95
  2603.     ALL
  2604. .LP
  2605. 59
  2606.     ALTERNATIVE
  2607. .LP
  2608. 48,\ 49,\ 53,\ 63,\ 85,\ 113
  2609.     AND
  2610. .LP
  2611. 74
  2612.     AXIOMS
  2613. .LP
  2614. 5,\ 6,\ 129
  2615.     BLOCK
  2616. .LP
  2617. 32
  2618.     CALL
  2619. .LP
  2620. 14
  2621.     CHANNEL
  2622. .LP
  2623. 127
  2624.     COMMENT
  2625. .LP
  2626. 48,\ 49,\ 53,\ 63
  2627.     CONNECT
  2628. .LP
  2629. 97
  2630.     CONSTANT
  2631. .LP
  2632. 91
  2633.     CONSTANTS
  2634. .LP
  2635. 31
  2636.     CREATE
  2637. .LP
  2638. 18
  2639.     DCL
  2640. .LP
  2641. 34
  2642.     DECISION
  2643. .LP
  2644. 74,\ 91
  2645.     DEFAULT
  2646. .LP
  2647. 34,\ 59,\ 83,\ 108,\ 120
  2648.     ELSE
  2649. .LP
  2650. 59
  2651.     ENDALTERNATIVE
  2652. .LP
  2653. 5
  2654.     ENDBLOCK
  2655. .LP
  2656. 14
  2657.     ENDCHANNEL
  2658. .LP
  2659. 34
  2660.     ENDDECISION
  2661. .LP
  2662. 97
  2663.     ENDGENERATOR
  2664. .LP
  2665. 55
  2666.     ENDMACRO
  2667. .LP
  2668. 73,\ 91
  2669.     ENDNEWTYPE
  2670. .LP
  2671. 12
  2672.     ENDPROCEDURE
  2673. .LP
  2674. 7
  2675.     ENDPROCESS
  2676. .LP
  2677. 54
  2678.     ENDREFINEMENT
  2679. .LP
  2680. 58
  2681.     ENDSELECT
  2682. .LP
  2683. 61
  2684.     ENDSERVICE
  2685. .LP
  2686. 22
  2687.     ENDSTATE
  2688. .LP
  2689. 46,\ 50
  2690.     ENDSUBSTRUCTURE
  2691. .LP
  2692. 91
  2693.     ENDSYNTYPE
  2694. .LP
  2695. 4
  2696.     ENDSYSTEM
  2697. .LP
  2698. 14,\ 15,\ 53,\ 64
  2699.     ENV
  2700. .LP
  2701. 82
  2702.     ERROR
  2703. .LP
  2704. 71
  2705.     EXPORT
  2706. .LP
  2707. 18
  2708.     EXPORTED
  2709. .LP
  2710. 57
  2711.     EXTERNAL
  2712. .bp
  2713. .LP
  2714. 83,\ 108,\ 120
  2715.     FI
  2716. .LP
  2717. 74,\ 81
  2718.     FOR
  2719. .LP
  2720. 7,\ 55
  2721.     FPAR
  2722. .LP
  2723. 14,\ 15,\ 64
  2724.     FROM
  2725. .LP
  2726. 97
  2727.     GENERATOR
  2728. .LP
  2729. 58,\ 83,\ 108,\ 120
  2730.     IF
  2731. .LP
  2732. 70
  2733.     IMPORT
  2734. .LP
  2735. 69
  2736.     IMPORTED
  2737. .LP
  2738. 12,\ 74,\ 81,\ 85,\ 114
  2739.     IN
  2740. .LP
  2741. 95
  2742.     INHERITS
  2743. .LP
  2744. 23,\ 65
  2745.     INPUT
  2746. .LP
  2747. 27
  2748.     JOIN
  2749. .LP
  2750. 97
  2751.     LITERAL
  2752. .LP
  2753. 74,\ 76,\ 96
  2754.     LITERALS
  2755. .LP
  2756. 56
  2757.     MACRO
  2758. .LP
  2759. 55
  2760.     MACRODEFINITION
  2761. .LP
  2762. 143
  2763.     MACROID
  2764. .LP
  2765. 74
  2766.     MAP
  2767. .LP
  2768. 85,\ 116
  2769.     MOD
  2770. .LP
  2771. 104
  2772.     NAMECLASS
  2773. .LP
  2774. 73,\ 91
  2775.     NEWTYPE
  2776. .LP
  2777. 26
  2778.     NEXTSTATE
  2779. .LP
  2780. 86,\ 117
  2781.     NOT
  2782. .LP
  2783. 123
  2784.     NOW
  2785. .LP
  2786. 124
  2787.     OFFSPRING
  2788. .LP
  2789. 97
  2790.     OPERATOR
  2791. .LP
  2792. 75,\ 95
  2793.     OPERATORS
  2794. .LP
  2795. 85,\ 105,\ 112
  2796.     OR
  2797. .LP
  2798. 75
  2799.     ORDERING
  2800. .LP
  2801. 12
  2802.     OUT
  2803. .LP
  2804. 33,\ 66
  2805.     OUTPUT
  2806. .LP
  2807. 124
  2808.     PARENT
  2809. .LP
  2810. 65,\ 66,\ 67
  2811.     PRIORITY
  2812. .LP
  2813. 12,\ 13,\ 129
  2814.     PROCEDURE
  2815. .LP
  2816. 7,\ 8,\ 129
  2817.     PROCESS
  2818. .LP
  2819. 67,\ 68
  2820.     PROVIDED
  2821. .LP
  2822. 6,\ 8,\ 13,\ 47,\ 52,\ 62
  2823.     REFERENCED
  2824. .LP
  2825. 54
  2826.     REFINEMENT
  2827. .LP
  2828. 85,\ 116
  2829.     REM
  2830. .bp
  2831. .LP
  2832. 37
  2833.     RESET
  2834. .LP
  2835. 29
  2836.     RETURN
  2837. .LP
  2838. 18
  2839.     REVEALED
  2840. .LP
  2841. 54
  2842.     REVERSE
  2843. .LP
  2844. 24
  2845.     SAVE
  2846. .LP
  2847. 58
  2848.     SELECT
  2849. .LP
  2850. 124
  2851.     SELF
  2852. .LP
  2853. 124
  2854.     SENDER
  2855. .LP
  2856. 61,\ 62,\ 129
  2857.     SERVICE
  2858. .LP
  2859. 38
  2860.     SET
  2861. .LP
  2862. 16,\ 129
  2863.     SIGNAL
  2864. .LP
  2865. 17
  2866.     SIGNALLIST
  2867. .LP
  2868. 15,\ 64
  2869.     SIGNALROUTE
  2870. .LP
  2871. 9
  2872.     SIGNALSET
  2873. .LP
  2874. 82
  2875.     SPELLING
  2876. .LP
  2877. 21
  2878.     START
  2879. .LP
  2880. .rs
  2881. .sp 35P
  2882. .LP
  2883. .bp
  2884. .LP
  2885. 22
  2886.     STATE
  2887. .LP
  2888. 28
  2889.     STOP
  2890. .LP
  2891. 94
  2892.     STRUCT
  2893. .LP
  2894. 46,\ 47,\ 50,\ 52,\ 129
  2895.     SUBSTRUCTURE
  2896. .LP
  2897. 57,\ 103
  2898.     SYNONYM
  2899. .LP
  2900. 91
  2901.     SYNTYPE
  2902. .LP
  2903. 4,\ 129
  2904.     SYSTEM
  2905. .LP
  2906. 30
  2907.     TASK
  2908. .LP
  2909. 83,\ 108,\ 120
  2910.     THEN
  2911. .LP
  2912. 97,\ 129
  2913.     TYPE
  2914. .LP
  2915. 36
  2916.     TIMER
  2917. .LP
  2918. 14,\ 15,\ 33,\ 64
  2919.     TO
  2920. .LP
  2921. 33
  2922.     VIA
  2923. .LP
  2924. 20,\ 33
  2925.     VIEW
  2926. .LP
  2927. 19
  2928.     VIEWED
  2929. .LP
  2930. 14,\ 15,\ 64
  2931.     WITH
  2932. .LP
  2933. 85,\ 112
  2934.     XOR
  2935. .LP
  2936. .rs
  2937. .sp 35P
  2938. .LP
  2939. .bp
  2940. .ce 1000
  2941. ANNEX E
  2942. .ce 0
  2943. .ce 1000
  2944. (to Recommendation Z.100)
  2945. .EF '%    Fascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ E''
  2946. .OF '''Fascicle\ X.1\ \(em\ Rec.\ Z.100\ \(em\ Annex\ E    %'
  2947. .sp 9p
  2948. .RT
  2949. .ce 0
  2950. .ce 1000
  2951. \fBState\(hyoriented representation and pictorial elements\fR 
  2952. .sp 1P
  2953. .RT
  2954. .ce 0
  2955. .LP
  2956. E.1
  2957.     \fIIntroduction\fR 
  2958. .sp 1P
  2959. .RT
  2960. .PP
  2961. SDL is based on an \*Qextended\*U Finite State Machine (FSM) model.
  2962. That is, an FSM is extended with objects, such as variables, resources, 
  2963. etc. A machine stays in some state. On receiving a signal, a machine executes 
  2964. a 
  2965. transition, in which relevant actions (e.g.\ resource allocation and/or
  2966. deallocation, resource control, signal sending, decision, etc.) are taken.
  2967. Therefore, the dynamic behaviour of an extended FSM can be explained by
  2968. describing action sequences on objects for each transition of the FSM in a
  2969. procedural way.
  2970. .PP
  2971. As a consequence of the state transition, the machine arrives in a new 
  2972. state. The state of an extended FSM can be characterized by objects associated 
  2973. with the state, additional object information (e.g.\ the value of variables, 
  2974. states of resources, relations between the resources), and signals which 
  2975. can be received in that state. For example, the \*Qawait\(hyfirst\(hydigit 
  2976. state\*U in telephone call processing is characterized as follows: 
  2977. .RT
  2978. .LP
  2979.     Caller:
  2980.     handset\(hyoff
  2981. .LP
  2982.     Dial\ tone\(hysender:
  2983.     dialtone sending
  2984. .LP
  2985.     Digit\ receiver:
  2986.     ready for receiving
  2987. .LP
  2988.     Timer:
  2989.     supervising permanent\(hysignal timing
  2990. .LP
  2991.     Path:
  2992.     Caller is connected to dial tone\(hysender and
  2993. digit receiver,\ etc.
  2994. .PP
  2995. As can be seen, each state can be defined statically by objects
  2996. and additional information (qualifying text) associated with that state.
  2997. .PP
  2998. The SDL/GR is extended with \fBpictorial elements\fR to define objects
  2999. associated with each state. The state definitions in terms of pictorial
  3000. elements are called \fBstate pictures\fR . The SDL/GR state symbol may 
  3001. include a 
  3002. state picture. This is an optional part of SDL/GR. Figure\ E\(hy1 shows a state
  3003. definition example of the \*Qawait\(hyfirst\(hydigit state\*U.
  3004. .RT
  3005. .LP
  3006. .rs
  3007. .sp 10P
  3008. .ad r
  3009. \fBFigure E\(hy1, (N), p.\fR 
  3010. .sp 1P
  3011. .RT
  3012. .ad b
  3013. .RT
  3014. .PP
  3015. In many cases, actions on each object, which are required in the transition, 
  3016. can be derived from the difference between state definitions before and 
  3017. after the transition. For example, if some resource appears only after 
  3018. transition, it means that resource allocation action is necessary in the
  3019. transition. Therefore, if detailed state definitions are given, total actions 
  3020. in the extended FSM transition can usually be derived from the difference 
  3021. between pre\(hyand post\(hystate definitions. However, the sequence of 
  3022. actions in the transition may not be derived from the state definition 
  3023. difference. Therefore, in SDL diagrams, when the sequence of actions is 
  3024. less important, those 
  3025. transition actions which can be derived from the state definition need 
  3026. not be described explicitly. Otherwise, it is desirable to describe action 
  3027. sequences explicitly. 
  3028. .PP
  3029. An SDL diagram, in which transitions are described exclusively by
  3030. explicit action symbols, is called a
  3031. \fBtransition\(hyoriented version of SDL/GR\fR .
  3032. .PP
  3033. An SDL/GR diagram, in which states are described using state pictures and 
  3034. transition actions are minimized, is called the \fBstate\(hyoriented version 
  3035. of SDL/GR\fR or \fBstate\(hyoriented SDL with pictorial elements (SDL/PE).\fR 
  3036. State pictures can be used advantageously when applied to certain system
  3037. definitions, resulting in more compact, declarative and less verbal
  3038. process diagrams.
  3039. .bp
  3040. .PP
  3041. A combined version is also possible. Thus, these are\ 3\ SDL/GR
  3042. versions:
  3043. .RT
  3044. .LP
  3045.     a)
  3046.     Transition\(hyoriented version
  3047. .LP
  3048.     \(em
  3049.     Transition sequences are described exclusively by
  3050. explicit action symbols.
  3051. .LP
  3052.     \(em
  3053.     This is, as it were, a procedural explanation of the
  3054. extended FSM.
  3055. .LP
  3056.     \(em
  3057.      This version is suitable when the sequence of actions is important and 
  3058. detailed state descriptions are not important. 
  3059. .bp
  3060. .LP
  3061.     b)
  3062.     State\(hyoriented version
  3063. .LP
  3064.     \(em
  3065.     The state is described uniquely using pictorial
  3066. elements. This picture is called a state picture.
  3067. .LP
  3068.     \(em
  3069.     The transition action sequence is implied by the
  3070. difference between pre\(hyand post\(hystate definitions.
  3071. .LP
  3072.     \(em
  3073.     This is, as it were, a declarative specification of the extended FSM.
  3074. .LP
  3075.     \(em
  3076.     This vesion is suitable when the sequence of actions
  3077. within each transition is of low importance, when pictorial explanation is
  3078. desirable, or when a compact representation is desirable.
  3079. .LP
  3080.     c)
  3081.     Combined version
  3082. .LP
  3083.     \(em
  3084.      The combined version is suitable when both the sequence of actions within 
  3085. each transition and the detailed state descriptions are under consideration. 
  3086. .PP
  3087. Examples of these three versions are given in Figure\ E\(hy2, E\(hy3
  3088. and\ E\(hy4.
  3089. .LP
  3090. .rs
  3091. .sp 37P
  3092. .ad r
  3093. \fBFigure E\(hy2, (N), p.\fR 
  3094. .sp 1P
  3095. .RT
  3096. .ad b
  3097. .RT
  3098. .LP
  3099. .bp
  3100. .LP
  3101. .rs
  3102. .sp 47P
  3103. .ad r
  3104. \fBFigure E\(hy3, (N), p.\fR 
  3105. .sp 1P
  3106. .RT
  3107. .ad b
  3108. .RT
  3109. .LP
  3110. .bp
  3111. .LP
  3112. .rs
  3113. .sp 47P
  3114. .ad r
  3115. \fBFigure E\(hy4, (N), p.\fR 
  3116. .sp 1P
  3117. .RT
  3118. .ad b
  3119. .RT
  3120. .LP
  3121. .bp
  3122. .sp 2P
  3123. .LP
  3124. E.2
  3125.     \fIPictorial elements in SDL/GR\fR 
  3126. .sp 1P
  3127. .RT
  3128. .PP
  3129. The syntax and semantics defined in Recommendation\ Z.100 SDL
  3130. applies to pictorial elements. However, these semantics and syntax are 
  3131. extended as follows: 
  3132. .PP
  3133. Pictorial elements represent various objects. The repertoire of
  3134. pictorial elements is in principle unlimited because new pictorial elements 
  3135. can be invented to suit any new application of the SDL. However, in applications 
  3136. to telecommunications switching and signalling functions, the following 
  3137. repertoire of pictorial elements has been found to have considerable 
  3138. versatility:
  3139. .RT
  3140. .LP
  3141.     \(em
  3142.     functional block boundary (left or right),
  3143. .LP
  3144.     \(em
  3145.     terminal equipment (various),
  3146. .LP
  3147.     \(em
  3148.     signalling receiver,
  3149. .LP
  3150.     \(em
  3151.     signalling sender,
  3152. .LP
  3153.     \(em
  3154.     combined signalling sender and receiver,
  3155. .LP
  3156.     \(em
  3157.     supervising timer,
  3158. .LP
  3159.     \(em
  3160.     switching path (connected, reserved),
  3161. .LP
  3162.     \(em
  3163.     switching modules,
  3164. .LP
  3165.     \(em
  3166.     charging in progress,
  3167. .LP
  3168.     \(em
  3169.     control elements,
  3170. .LP
  3171.     \(em
  3172.     uncertainty symbol.
  3173. .PP
  3174. Standard symbols for these pictorial elements are recommended in section\ 
  3175. E.2.2. 
  3176. .sp 1P
  3177. .LP
  3178. E.2.1
  3179.     \fIRules of interpretation\fR 
  3180. .sp 9p
  3181. .RT
  3182. .LP
  3183.     1)
  3184.     A state symbol may include a \fBstate picture\fR . A state
  3185. picture defines de state using pictorial elements and qualifying text.
  3186. .LP
  3187.     2)
  3188.     Each pictorial element in a state picture represents an
  3189. object associated with the state, such as:
  3190. .LP
  3191.     \(em
  3192.     resources,
  3193. .LP
  3194.     \(em
  3195.     variables,
  3196. .LP
  3197.     \(em
  3198.     internal and external boundaries,
  3199. .LP
  3200.     \(em
  3201.     the relations between objects,
  3202. .LP
  3203.     \(em
  3204.     signals which can be received in that state,
  3205. .LP
  3206.     \(em
  3207.     etc.
  3208. .LP
  3209.     3)
  3210.     Each pictorial element may have accompanying \fBqualifying
  3211. text\fR . Qualifying text can be used to explain:
  3212. .LP
  3213.     \(em
  3214.     detailed resource name,
  3215. .LP
  3216.     \(em
  3217.     the resource state,
  3218. .LP
  3219.     \(em
  3220.     value for a variable,
  3221. .LP
  3222.     \(em
  3223.     signals relevant to the object,
  3224. .LP
  3225.     \(em
  3226.     etc.
  3227. .LP
  3228.     4)
  3229.     Function block boundary:
  3230. .LP
  3231.     a)
  3232.      A \fBfunction block boundary\fR is used to express whether a pictorial 
  3233. element is \*Qinternal\*U or \*Qexternal\*U to the process. An internal 
  3234. pictorial element represents objects which are owned by the process. An
  3235. external pictorial element represents objects which are owned by another
  3236. process under consideration.
  3237. .LP
  3238.     b)
  3239.     Rule a) also applies to the distinction between
  3240. internal and external qualifying text, by substituting the term \*Qqualifying
  3241. text\*U for pictorial elements in the rule.
  3242. .LP
  3243.     5)
  3244.     Transition interpretation rule:
  3245. .LP
  3246.      The total processing involved when a process goes from one state to the 
  3247. following state is the combination of: 
  3248. .LP
  3249.     \(em
  3250.     The processing to effect changes to all relevant
  3251. objects which are derived from the state definition difference.
  3252. .LP
  3253.     \(em
  3254.     The processing explicitly described in the transition,  e.g. outputs or tasks.
  3255. .bp
  3256. .LP
  3257.     Thus:
  3258. .LP
  3259.     a)
  3260.     The absence from one state if a pictorial element
  3261. which represents a resource with its presence in the next state implies the
  3262. allocation of the resource in all transitions joining the two states. This 
  3263. can be equivalently represented by a task(s) showing allocation of the 
  3264. resource in transition(s). 
  3265. .LP
  3266.     b)
  3267.     If \*Qpresence\*U and \*Qabsence\*U are interchanged in
  3268. rule\ a), then \*Qallocation\*U is replaced by \*Qdeallocation\*U.
  3269. .LP
  3270.     c)
  3271.     In rule\ a) if \*Qpictorial element\*U is replaced by
  3272. \*Qexternal pictorial element\*U then the task should be replaced by an output
  3273. signal requesting the process which owns the resource to allocate it or 
  3274. simply an input signal from that process saying that it has been allocated. 
  3275. .LP
  3276.     d)
  3277.     If in rule\ a) \*Qpresence\*U and \*Qabsence\*U are
  3278. interchanged and also \*Qpictorial element\*U is replaced by \*Qexternal 
  3279. pictorial 
  3280. element\*U then follow rule\ c) with \*Qallocate\*U replaced with
  3281. \*Qdeallocate\*U.
  3282. .LP
  3283.     e)
  3284.      Rules\ a), b), c) and d) also apply to the appearance or disappearance 
  3285. in the state picture of qualifying text, by substituting the term \*Qqualifying 
  3286. text\*U for pictorial elements in those rules. 
  3287. .LP
  3288.     6)
  3289.      For a given process diagram, particular pictorial elements (or a particular 
  3290. combination of pictorial elements and qualifying text) should always be 
  3291. placed in the same position within the state picture whenever they 
  3292. appear, so that the presence or absence of this pictorial element (or
  3293. combination) in a state symbol can be quickly determined by comparing the 
  3294. state picture with other state pictures in the process diagram. 
  3295. .LP
  3296.     7)
  3297.     When a signal sender appears in a state picture, its
  3298. qualifying text identifies a signal which is sent during the following
  3299. transitions.
  3300. .LP
  3301.     8)
  3302.     When a sender of a permanent signal (e.g. a ringtone)
  3303. appears in a state picture, its qualifying text identifies a signal which 
  3304. has been started to be sent during the following transition and in this 
  3305. state.
  3306. .LP
  3307.     9)
  3308.     Such transition actions that cannot be derived from the
  3309. difference of pre\(hy and post\(hystate definitions should be explicitly 
  3310. described in the transition. For example, if a resource with an exported 
  3311. variable does not appear in the pre\(hy and post\(hystates, the necessary 
  3312. actions are better to be 
  3313. described in the transition.
  3314. .sp 1P
  3315. .LP
  3316. E.2.2
  3317.     \fIRecommended symbols for pictorial elements\fR 
  3318. .sp 9p
  3319. .RT
  3320. .PP
  3321. When using pictorial elements, each state is represented by a state symbol 
  3322. containing a state picture with the format shown in Figure\ E\(hy5: 
  3323. .RT
  3324. .LP
  3325. .rs
  3326. .sp 15P
  3327. .ad r
  3328. \fBFigure E\(hy5, (MC), p.\fR 
  3329. .sp 1P
  3330. .RT
  3331. .ad b
  3332. .RT
  3333. .LP
  3334. .bp
  3335. .PP
  3336. A basic set of pictorial elements is recommended for use in SDL/GR with 
  3337. application to the system description of telecommunications call handling 
  3338. processes, including signalling protocols, network services and signalling 
  3339. interworking processes. Many of these pictorial elements are capable
  3340. of being applied in applications of SDL/GR to other than call handling
  3341. processes.
  3342. .PP
  3343. The recommended symbols for the basic set of pictorial elements is
  3344. shown in Figure\ E\(hy6, and the recommended proprotions for pictorial element
  3345. symbols are shown in Figure\ E\(hy7.
  3346. .PP
  3347. Examples of the use of the basic set of pictorial elements are shown in 
  3348. Figure\ E\(hy8. 
  3349. .RT
  3350. .sp 1P
  3351. .LP
  3352. E.2.3
  3353.     \fISpecial conventions and interpretations used in the state\fR 
  3354. \fIoriented extension of SDL/GR\fR 
  3355. .sp 9p
  3356. .RT
  3357. .PP
  3358. A number of special conventions and interpretations have been
  3359. defined in this section with regard to the state\(hyoriented version of SDL/GR.
  3360. These includes:
  3361. .RT
  3362. .LP
  3363.     \(em
  3364.     The special interpretation required for process diagrams
  3365. according to the so\(hycalled TRANSITION INTERPRETATION RULE (see \(sc\ E.2.1,
  3366. rule\ 5).
  3367. .LP
  3368.     \(em
  3369.     The unique position of pictorial elements (or pictorial
  3370. elements and qualifying text) within a state picture that is required when
  3371. using pictorial elements (see \(sc\ E.2.1, rule\ 6).
  3372. .LP
  3373.     \(em
  3374.     The special interpretation required for the variables
  3375. represented by external pictorial elements and external qualifying text, as
  3376. proxy variables associated with other processes.
  3377. .sp 2P
  3378. .LP
  3379. E.3
  3380.     \fISelection criteria for pictorial elements\fR 
  3381. .sp 1P
  3382. .RT
  3383. .PP
  3384. The choice of symbols for pictorial elements has been based upon
  3385. the following considerations and general selection criteria. These should be
  3386. consulted before developing additional pictorial element symbols for wider
  3387. applications of the SDL.
  3388. .RT
  3389. .LP
  3390.     1)
  3391.     Ease of reproduction
  3392. .LP
  3393.      In order to permit convenient reproduction of SDL diagrams using the 
  3394. dye\(hyline or blue\(hyprint methods of reproduction as well as 
  3395. photocopying and photo\(hyprinting, pictorial element symbols should consist of
  3396. clear lines without shading or coloration.
  3397. .LP
  3398.     2)
  3399.     Ease of comprehension
  3400. .LP
  3401.     a)
  3402.      Appropriateness \(em The shape of each symbol should be appropriate to 
  3403. the concept that the symbol represents. 
  3404. .LP
  3405.     b)
  3406.     Distinctiveness \(em When choosing a basic set of
  3407. symbols, care should be taken to permit each symbol to be readily
  3408. distinguishable from others in the set.
  3409. .LP
  3410.     c)
  3411.     Affinity \(em The shapes of pictorial elements
  3412. representing different but related functions, e.g.\ receivers and senders,
  3413. should be related in some obvious way.
  3414. .LP
  3415.     d)
  3416.     Association of abbreviated qualifying text with
  3417. symbols \(em In some cases it is expected that abbreviated text will be 
  3418. associated with a pictorial element in order to indicate the class of pictorial 
  3419. element; e.g.\ the letters MFC associated with a receiver symbol to indicate 
  3420. that 
  3421. multi\(hyfrequency coded signals are to be received. In these cases, the 
  3422. pictorial elements should incorporate enclosed space to permit the use 
  3423. of a very small 
  3424. number of alphanumerical characters.
  3425. .LP
  3426.     e)
  3427.     Limited set \(em The total number of symbols should be
  3428. kept to a minimum in order to permit easy learning of the pictorial
  3429. method.
  3430. .bp
  3431. .LP
  3432. .rs
  3433. .sp 47P
  3434. .ad r
  3435. \fBFigure E\(hy6, (MC), p.\fR 
  3436. .sp 1P
  3437. .RT
  3438. .ad b
  3439. .RT
  3440. .LP
  3441. .bp
  3442. .LP
  3443. .rs
  3444. .sp 47P
  3445. .ad r
  3446. \fBFigure E\(hy7, (MC), p.\fR 
  3447. .sp 1P
  3448. .RT
  3449. .ad b
  3450. .RT
  3451. .LP
  3452. .bp
  3453. .LP
  3454. .rs
  3455. .sp 47P
  3456. .ad r
  3457. \fBFigure E\(hy8, (MC), p.\fR 
  3458. .sp 1P
  3459. .RT
  3460. .ad b
  3461. .RT
  3462. .LP
  3463. .bp
  3464. .LP
  3465. .rs
  3466. .sp 47P
  3467. .ad r
  3468. \fBFigure E\(hy8 (suite), (MC), p.\fR 
  3469. .sp 1P
  3470. .RT
  3471. .ad b
  3472. .RT
  3473. .LP
  3474. .bp
  3475. .LP
  3476. .rs
  3477. .sp 47P
  3478. .ad r
  3479. \fBFigure E\(hy8 (suite), (MC), p.\fR 
  3480. .sp 1P
  3481. .RT
  3482. .ad b
  3483. .RT
  3484. .LP
  3485. .bp
  3486. .LP
  3487. .rs
  3488. .sp 47P
  3489. .ad r
  3490. \fBFigure E\(hy8 (fin), (MC), p.\fR 
  3491. .sp 1P
  3492. .RT
  3493. .ad b
  3494. .RT
  3495. .LP
  3496. .bp
  3497. .sp 2P
  3498. .LP
  3499. \fBRecommendation\ Z.110\fR 
  3500. .RT
  3501. .sp 2P
  3502. .ce 1000
  3503. \fBCRITERIA\ FOR\ THE\ USE\ AND\ APPLICABILITY\fR 
  3504. .EF '%    Fascicle\ X.1\ \(em\ Rec.\ Z.110''
  3505. .OF '''Fascicle\ X.1\ \(em\ Rec.\ Z.110    %'
  3506. .ce 0
  3507. .sp 1P
  3508. .ce 1000
  3509. \fBOF\ FORMAL\ DESCRIPTION\ TECHNIQUES\fR 
  3510. .FS
  3511. The content of this
  3512. Recommendation is also published as ISO Resolution\ ISO/IEC\ JTC\ 1/N\ 145.
  3513. The statement on precedence in case of several descriptions contained in 
  3514. the JTC\ 1 document is omitted in this Recommendation. 
  3515. .FE
  3516. .ce 0
  3517. .sp 1P
  3518. .LP
  3519. \fB1\fR     \fBSupport for \fR \fBformal description techniques (FDTs)\fR 
  3520. .sp 1P
  3521. .RT
  3522. .PP
  3523. In view of the complexity and widespread use of Recommendations it is imperative 
  3524. that advanced methods for the development and implementation of these Recommendations 
  3525. be used. 
  3526. .PP
  3527. Formal description techniques provide an important approach toward
  3528. such advanced methods.
  3529. .PP
  3530. In some areas, the use of FDTs is still relatively new and phased
  3531. procedures are required to introduce their use. This Recommendation proposes
  3532. the procedures to accomplish this task.
  3533. .RT
  3534. .sp 2P
  3535. .LP
  3536. \fB2\fR     \fBFDTs\fR 
  3537. .sp 1P
  3538. .RT
  3539. .sp 1P
  3540. .LP
  3541. 2.1
  3542.     \fIDefinitions\fR 
  3543. .sp 9p
  3544. .RT
  3545. .PP
  3546. A \fBformal description technique (FDT)\fR is a specification method based 
  3547. on a description language using rigorous and unambiguous rules both with 
  3548. respect to developing expressions in the language (formal syntax) and 
  3549. interpreting the meaning of these expressions (formal semantics). FDTs are
  3550. intended to be used in the development, specification, implementation and
  3551. verification of Recommendations (or parts thereof).
  3552. .PP
  3553. A \fBnatural language description\fR is an example of an informal
  3554. description technique using one of the languages used by CCITT to publish
  3555. Recommendations. It may be supplemented with mathematical and other accepted
  3556. notation, figures,\ etc.
  3557. .RT
  3558. .sp 1P
  3559. .LP
  3560. 2.2
  3561.     \fIObjectives of an FDT\fR 
  3562. .sp 9p
  3563. .RT
  3564. .PP
  3565. The goal of an FDT is to permit precise and unambiguous
  3566. specifications. FDTs are also intended to satisfy objectives such
  3567. as:
  3568. .RT
  3569. .LP
  3570.     \(em
  3571.     a basis for analyzing specifications for correctness,
  3572. efficiency,\ etc.;
  3573. .LP
  3574.     \(em
  3575.     a basis for determining completeness of specifications;
  3576. .LP
  3577.     \(em
  3578.     a basis for verification of specifications against the
  3579. requirement of the Recommendation;
  3580. .LP
  3581.     \(em
  3582.     a basis for determining conformance of implementations to
  3583. Recommendations;
  3584. .LP
  3585.     \(em
  3586.     a basis for determining consistency of specifications between Recommendations;
  3587. .LP
  3588.     \(em
  3589.     a basis for implementation support.
  3590. .PP
  3591. In the current state of the art, in some areas more than one FDT may be 
  3592. needed to accomplish all objectives. 
  3593. .sp 1P
  3594. .LP
  3595. 2.3
  3596.     \fIBenefits of an FDT\fR 
  3597. .sp 9p
  3598. .RT
  3599. .PP
  3600. The application of an FDT can provide benefits such
  3601. as:
  3602. .RT
  3603. .LP
  3604.     \(em
  3605.     improving the quality of Recommendations, which in turn
  3606. reduces maintenance costs to both CCITT and to users of Recommendations;
  3607. .LP
  3608.     \(em
  3609.     reducing dependency on the natural language to communicate
  3610. technical concepts in a multilingual environment;
  3611. .LP
  3612.     \(em
  3613.      reducing development time of implementations by using tools that are 
  3614. based on the properties of the FDT; 
  3615. .LP
  3616.     \(em
  3617.     making the implementation easier, resulting in better
  3618. products.
  3619. .bp
  3620. .sp 1P
  3621. .LP
  3622. 2.4
  3623.     \fIProblem with FDTs\fR 
  3624. .sp 9p
  3625. .RT
  3626. .PP
  3627. FDTs are advanced techniques which have not yet been widely
  3628. introduced. In addition, there is a lack of resources in the development of
  3629. FDTs
  3630. and formal descriptions (FDs), as well as a lack of expertise within the 
  3631. CCITT Study Groups both to assess the technical merits of the formally 
  3632. described 
  3633. Recommendations and to reach consensus on them.
  3634. .RT
  3635. .sp 1P
  3636. .LP
  3637. 2.5
  3638.     \fISolutions\fR 
  3639. .sp 9p
  3640. .RT
  3641. .PP
  3642. The development of tutorial and educational materials will help to provide 
  3643. widespread understanding of the complexities of FDTs. Nevertheless, 
  3644. time must be permitted for their assimilation.
  3645. .RT
  3646. .sp 2P
  3647. .LP
  3648. \fB3\fR     \fBDevelopment and standardization of FDTs\fR 
  3649. .sp 1P
  3650. .RT
  3651. .PP
  3652. It is important to avoid unnecessary proliferation of FDTs. The
  3653. following criteria should be met before adopting a new FDTs:
  3654. .RT
  3655. .LP
  3656.     \(em
  3657.     the need for the FDT should be demonstrated;
  3658. .LP
  3659.     \(em
  3660.      evidence that it is based on a significantly different model from that 
  3661. of an existing FDT should be provided, and 
  3662. .LP
  3663.     \(em
  3664.     the usefulness and capabilities of the FDT should be
  3665. demonstrated.
  3666. .sp 2P
  3667. .LP
  3668. \fB4\fR     \fBDevelopment and acceptance of formal descriptions\fR 
  3669. .sp 1P
  3670. .RT
  3671. .PP
  3672. 4.1
  3673. In future, only standard FDTs or FDTs in the process of being standardized 
  3674. should be used in formal descriptions of Recommendations. 
  3675. .sp 9p
  3676. .RT
  3677. .PP
  3678. 4.2
  3679. It is considered that the development of a FD of any particular Recommendation 
  3680. is a decision of the Study Group (in consultation with ISO for collaborative 
  3681. standards). If a FD is to be developed for a new Recommendation, the FD 
  3682. should be progressed, as far as possible, according to the same 
  3683. timetable as the rest of the Recommendation.
  3684. .sp 9p
  3685. .RT
  3686. .PP
  3687. 4.3
  3688. For the evolutionary introduction of FDs into Recommendations three phases 
  3689. can be identified. It is the responsibility of the Study Group to decide 
  3690. which phase initially applies to each FD and the possible evolution of 
  3691. the FD toward another phase. It is not mandatory for a FD to go through 
  3692. the 
  3693. three phases described below and, more generally, it is not mandatory for 
  3694. a FD to evolve. 
  3695. .sp 9p
  3696. .RT
  3697. .sp 1P
  3698. .LP
  3699. \fIPhase 1\fR 
  3700. .sp 9p
  3701. .RT
  3702. .PP
  3703. This phase is characterized by the fact that widespread knowledge of FDTs, 
  3704. and experience in formal descriptions, are lacking; there may not be sufficient 
  3705. resources in the Study Groups to produce or review formal 
  3706. descriptions.
  3707. .PP
  3708. The development of Recommendations has to be based on conventional
  3709. natural language approaches, leading to Recommendations where the natural
  3710. language description is the definitive Recommendation.
  3711. .PP
  3712. Study Groups are encouraged to develop FDs of their Recommendations
  3713. since these efforts may contribute to the quality of the Recommendations by
  3714. detecting defects, may provide additional understanding to readers, and will
  3715. support the evolutionary introduction of FDTs.
  3716. .PP
  3717. A formal description produced by a Study Group that can be considered to 
  3718. represent faithfully a significant part of the Recommendation or the 
  3719. complete Recommendation should be published as an appendix to the
  3720. Recommendation.
  3721. .PP
  3722. Meanwhile Study Groups should develop and provide educational material 
  3723. for the FDTs to support their widespread introduction in the CCITT and 
  3724. Liaison Organizations. 
  3725. .bp
  3726. .RT
  3727. .sp 1P
  3728. .LP
  3729. \fIPhase 2\fR 
  3730. .sp 9p
  3731. .RT
  3732. .PP
  3733. This phase is characterized by the fact that knowledge of FDTs and experience 
  3734. in formal descriptions is more widely available; Study Groups can 
  3735. provide enough resources to support the production of formal descriptions.
  3736. However, it cannot be assured that enough CCITT Members can review formal
  3737. descriptions in order to enable them to approve a proposed formally described 
  3738. Recommendation. 
  3739. .PP
  3740. The development of Recommendations should still be based on
  3741. conventional natural language approaches, leading to Recommendation where 
  3742. the natural language description is the definitive standard. However, these 
  3743. developments should be accompanied and supported by the development of 
  3744. formal descriptions of these standards with the objective of improving 
  3745. and supporting the structure, consistency, and correctness of the natural 
  3746. language 
  3747. description.
  3748. .PP
  3749. A formal description, produced by Study Group, that is considered to represent 
  3750. faithfully a significant part of the Recommendation or the complete Recommendation 
  3751. should be published as an annex to the Recommendation. 
  3752. .PP
  3753. Meanwhile educational work should continue.
  3754. .RT
  3755. .sp 1P
  3756. .LP
  3757. \fIPhase 3\fR 
  3758. .sp 9p
  3759. .RT
  3760. .PP
  3761. This phase is characterized by the fact that a widespread knowledge of 
  3762. FDTs may be assumed; CCITT Members can provide sufficient resources both 
  3763. to produce and review formal descriptions, and assurance exists that the 
  3764. application of FDTs does not unnecessarily restrict freedom of the
  3765. implementations.
  3766. .PP
  3767. Study Groups should use FDTs routinely to develop their
  3768. Recommendations, and the FD(s) become part of the Recommendation together 
  3769. with natural language descriptions. 
  3770. .PP
  3771. Whenever a dicrepancy between a natural language description and a
  3772. formal description, or between two formal descriptions, is detected, the
  3773. discrepancy should be resolved by changing or improving the natural language
  3774. description or the FDs without necessarily giving preference to one over the
  3775. other(s).
  3776. .RT
  3777. .PP
  3778. 4.4
  3779. The above procedures for phased development of FDs are intended to aid 
  3780. the progression of FDs within the standards process, not to hinder their 
  3781. progression. However, since there has been little or no actual experience 
  3782. with these procedures, any Study Group having to use them is urged to identify 
  3783. one or more pilot cases and carefully monitor the progress of each within 
  3784. the 
  3785. framework of the procedures. Should procedural problems arise, the Study 
  3786. Group responsible for Formal Description Techniques should be informed 
  3787. and, where 
  3788. possible, recommended procedural modifications should be proposed to alleviate 
  3789. the problems. 
  3790. .sp 9p
  3791. .RT
  3792. .LP
  3793. .rs
  3794. .sp 22P
  3795. .LP
  3796. .bp
  3797.